結論！「数学の無矛盾性は論理命題であって数学命題ではない」

おそらく、Ｗボソンと同じようにゲーデルによる分類ミスだったんだろう・・。 . . . 本文を読む

さて、ゲーデル命題が何故（なぜ）、数学体系の無矛盾性と同値だか・・、だ！

￢Ｙ「この命題は反証される」 は 「数学形式で書かれる命題の内で矛盾した命題のすべて」 と 完全に 同値だったはずなんだが？ . . . 本文を読む

ＵＦＴからの告発！「ゲーデルは証明途中で仕事を終えていた・・」

「この命題は反証できる」の否定は「この命題は証明できる」 この否定命題はゲーデルの定義した￢Ｇとは大きく異なります・・。 . . . 本文を読む