ゲーデル命題は数学の無矛盾性と同値なのではなかった

数学的帰納法の無矛盾性とは同値かもしれないが、 . . . 本文を読む

かように￢Ｙを定義すること自体が数学の無矛盾性と反証されない命題すべての証明可能性

遂に、ゲーデルを上回る理想郷が実現した・・。 反証の定義を元に戻したら奇跡が起こったのだ！ . . . 本文を読む

ゲーデル命題の否定をゲーデルの如く定式化すること自体が数学の無矛盾性と同値

まったく、アッと驚くことには・・。 . . . 本文を読む