>>396

コメント.David Roberts。

翻訳　Google

・ここで、IUTが集合論的矛盾（望月はこれを「∈ループ」と呼ぶ）を回避するために宇宙際設定を用いていることは議論の余地がないことを述べておくべきだろう。

・望月氏の主張のこの部分は、いつも私を困惑させる。
彼は2000年代初頭にこれを主張していた。しかし、これは全く根拠のない主張である。数論は基礎公理を取り除いても依然として機能する。
もしあなたが何らかの理由で、
数学的対象（この場合、体、位相群、圏など）が∈関係においてループを定義する危険性があるような理論設定をしているのであれば、それは間違っている。
これはピエール・サミュエルの代数学の本 のようだ。そこでは集合論の公理によって構成される自然数と実数内の自然数との違いが強く意識され、実数の部分集合を削除して元の自然数の集合に置き換えると同型環が得られるという「定理」が証明される（そして実際にはこれは一般的な結果として行われ、複素数から R、Q、Z、N へと再帰的に適用される）。誰もこれを気にしておらず、望月の懸念には根拠がさらに乏しい (😏 )。