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

　さて、私の制作した大幅に修正されたゲーデル文によるならば数学が無矛盾であるか矛盾しているかに関わらず「Ｇが真」と自動的に決定する・・。

つまり、数学命題の無矛盾性は数学が数学であるという証明手段の性質によって、証明されません！

　それをしもゲーデル命題というかどーかは議論の結果が分かれるところですが、まーなんでしたら私の名前を冠してもイイとも思いましたけど、山野命題Ｙという手は他で使ってしまってるので、ここは不完全性のゲーデルということでゲーデル命題の名のまま進めたい。で、ここから「ゲーデルの不完全性定理では数学命題の一つ一つは決定可能であるのに無矛盾性だけが証明できない」が結論であるところを「数学命題の一つ一つについての無矛盾性は証明不可能だが数学体系の無矛盾性は証明可能」だという倒錯したことが起こる。いうなればゲーデルでは「数学は完全であっても超数学は不完全」であったところを逆に「数学は不完全である可能性が残るが超数学は完全にできる可能性が出てくる」ということだｗ）