定式 φ＝｛φ｝＝（|０〉＋|１〉）／√2 と ユニバーサルフロンティア公理の数学 （１）

ＺＦＣ公理においてＣ公理（選択公理）だけはタルスキーのパラドクスによって不合理性が疑われており、

実際にＣ公理を採用していない公理系もさまざまに考案されているが、他にラッセルの逆理がどこから生じているのかという問題もまた切実であって然るべきではないのか？

オッと、その前にゲーデル命題の仕上げを図らなくてはならないな・・。



　　Ｇ「数学体系は任意の数学命題の同義反復（無矛盾性）を演繹的に証明できない」

　￢Ｇ「数学体系は任意の数学命題の同義反復（無矛盾性）を演繹的に証明できる」


これが史上初の完璧なるゲーデル命題の定式である！


《結論》「一切の証明を抜きに自明でＧ（ゲーデル命題）が真である」


さらに、数学体系において矛盾を排除し得るのは背理法によってだけであり、さらに排除される対象が公理に及ぶことなどとうの昔から研究されているが、私ことユニバーサルフロンティア理論の発案者にして唯一の開発者としては「もっと大きく作り替える数学」をこそ提唱したい。それをユニバーサルフロンティア公理系（ＵＦ公理系）と呼ぼうと今や私の自由ではないか、世の数学者たちよサボってばかりいないでちっとはコッチを評価して考えなさいｗ）

なお、ゲーデル命題のゲーデル自身による定式では自己言及によって「背反のパラドクス」が生じていたことは変わりません・・。






第一歩だ、めでたしめでたし・・、だ？