>>197
＞https://www.math.columbia.edu/~woit/wordpress/?p=15277
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
(google訳)
（コメント）
デビッド・ロバーツ氏 はこう言う。
2025年9月21日午後9時
(抜粋) （箇条書きの番号は私が付与した）
望月氏の主張のこの部分は、いつも私を困惑させます。
1）
Also, the phrase “inter-universal” is meaningless unless you specify what “universe” is being referred to: actual Grothendieck universes?
それとも、あらゆる数学を行える場所としてのトポーズのようなものなのか？それとも、「エイリアンリング構造」のようなものの比喩として使われる、ふわふわとした「宇宙」なのか？この投稿では、望月が「宇宙」という言葉を様々な矛盾した意味で使っていることを引用しながら、この点を強調しようとした。
2）
そしてこれは全くの誤りです:
ZFC doesn’t allow for Grothendieck universes, for Grothendieck universes imply a strongly inaccessible cardinal, which doesn’t exist in ZFC.
You cannot of course use ZFC to prove such cardinals exist, but you can’t prove they don’t exist in a model of ZFC.
(引用終り)

さて、デビッド・ロバーツ氏の論難は、基礎論的にはかなり正しいが
それは、IUTの場外乱闘である
IUTの用語「宇宙」は、下記の薄葉 季路氏の”宇宙”とも ニュアンスが違う
　>>32より再録
(参考)https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
企画特別講演　2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
発表スライド『集合論の宇宙　Universe と Multiverse』
P3
集合の宇宙
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
・Vは集合ではない
P6
巨大基数
・最小の無限基数ℵ0が持つ性質を一般化する形で定義される
P7
到達不能基数
Remark
①Uがグロタンディーク宇宙ならば、|U|は到達不能基数である
(引用終り)

まあ、用語”宇宙”は、立場が違えば 使い方や意味が異なる
望月氏が、ここらの 薄葉 季路氏の”宇宙談義”について、IUTの初稿時点ではご存知なかったのだろう
しかし、それはIUTの本論外であって
「the phrase “inter-universal” is meaningless 」には 一理あるが
望月氏の本論の遠アーベルの正否とは、全く別の話です（完全に国語の問題　；ｐ）