なんか数学なんかも自信が出てきたね

ゲーデルだと体系内証明じゃないことにしちゃうケドｗ

　でー、ゲーデル命題が数学体系内において証明不可能であることを証明デキたら数学は無矛盾じゃないか、そう。ここまで考えて、つぎに「なんでゲーデルはそんなことも分からなかったんだろう」って思えるもんな、最近になってとみに、そう。

ゲーデル命題が証明デキると仮定しても矛盾しません！

　意味論では、だけどね、無論ね、そう。Ｇ⋀￢Ｇは意味論では矛盾ではない、そうだな、それがすべてを変えてしまうということなんだけど、そう。ゲーデル命題は証明デキないと、そう証明デキたら、それは数学の無矛盾性の証明じゃないか、そう。ゲーデルはフツウの数学ではないし、簡略化した不完全性定理は過ちである、そう。

不完全性定理はむしろ数学の無矛盾性を示唆している！

人が空しがろうとコッチは自信が出てきましたがなｗ

ゲンツェンなんかむしろ要らないって・・。