22/04/27 08:29:53.38 6sq23jZI.net
>>36
そう、現代数学がコレでホントに矛盾がいつまでも見つからないというのは一つの信仰
もしかしたらいつの日か矛盾が発見されて現代数学を大幅に書き換えざるを得ない時が来るかもしれない
とは言ってもその煽りを喰うのは“超巨大クラス”を好き勝手に使いまくる基礎論や集合論のごく一部だろうけど
しかしながらその危険は常に現代数学で付きまとうのは確かだし、よって「せめてそのギリギリの見極めからはもうこれ以上出ないようにしよう」というのは至極当然な取り決め、それが、「新しい文法による言語体系、推論則、公理、を変更するにせよその結果として得られる理論の通常の理論より危なくない範囲に止める、すなわち保存拡大の範囲内で行う」という取り決め
今回の話は望月先生がその“取り決め”を破ってる可能性がある、少なくともそれが破られてないかどうかの確認が論文中にない事が問題
そんなもん論文と呼べん