18/01/19 01:09:18.39 52lt0jRC.net
>>746
そんなサイトあるんだ
正直言ってあまり断言するようなことを言うべき段階ではないけど
絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う
しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない
ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では
捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが
論理学者的には厳密性において違和感を与えているように見える