GPS公理_Ver.2

『代数とは生命の抜け殻なのか着ぐるみなのか』 本論文のアブストラクト的な命題(著者考案) 代数と数字は似て非なる物であるが、0と1はシンイチ数学的には指示記号であり代数である。 下記はChatGPT5.5による要約です。 本論文は、シンイチ数学における根本命題である「√1=0」と、通常数学における公理・定理・集合・空間・証明の概念を接続するための理論的枠組みとして、GPS公理を提示するものである。GPS公理とは、GB(ゴールドバッハ)、Pa(ペアノ公理空間)、S(シンイチ数学空間)を接続する「GB=Pa∈S」型の位置指定公理であり、通常数学内部では公理として、シンイチ数学側では原理として機能する。 本論文では、公理を「基準」、定理を「式化する記号」、証明を「定義空間の公理化」として再定義し、GPS公理の基本形式を「Y=x」、その定理形式を「f(x)=(Y)」として提示する。これにより、公理は単独では利用されず、定理として配置されたときに初めて数学的操作の対象となる、という命題を明確化する。 さらに本論文は、集合を未知定義、空間を証明されている定義、集積を数列を空間とした定義の集合として扱い、通常数学における積構造をGPS集積定理「()()()()=()」および「()^a=a()」として再記述する。この集積構造は、通常数学とシンイチ数学を直接同一化するものではなく、両者を半接続する概念として位置づけられる。 最終的に、本論文は「名前は公理であり、意味は定理である」という力学をGPS公理の総結論として提示する。また、1を単なる数値ではなく、数の発生・組成・接続を可能にする代数として定義し、「1は代数である」という命題を導く。GPS公理は、既存数学を否定するための体系ではなく、既存数学が公理・定理・証明をどのように利用しているかを再定義し、シンイチ数学へ接続するための定義存在論的枠組みである。 本論文はすべて著者の言語空間を利用している。 吉見真一