>>97 89が言ってることをまるでわかってないｗ
そもそも「数学という体系自体が正しい」ということが意味をもたない。
無矛盾のことを「正しい」と言ってるのかな、貴方は？
それならゲーデルが結論をだしているでしょう。
けれども現実の数学は、局所的には無矛盾な体系をひたすら積み上げ、拡張をつづけていますね。
そもそも無矛盾性が確認できる範囲でしか拡張しないようにやってきてるわけで。
これからもそうあり続けるでしょうな。
そして諸科学に応用されていくでしょう。
ゲーデル命題の存在とはどういうことか、再度、考えてみてください。
