>>743
>（グロタン宇宙は集合つまりノイマン宇宙の元なのにね）

(ですね)人
倒錯している 下記 Terence Tao “big picture”レベルに到達していない！
だから、トンチンカン
下記 池上大祐 数学セミナー「フェルマーの最終定理はZFCの下で証明できるか？
グロタンディーク宇宙と到達不可能基数」が
読めるなら 読んでみ（面白いし 分かり易い）

この連載が、成書で出版されていた（書店で立ち読み（＾＾）
数学セミナー記事に少し加筆があった気がする
「フェルマーの最終定理はZFCの下で証明できるか？」
もし グロタン宇宙がノイマン宇宙の元なら 当然 答えはＹ
だが、池上大祐氏は、自分には判断できないという
つまり、グロタン宇宙を使った代数幾何→数論幾何で 証明されたが
グロタン宇宙を使わない ZFCだけで証明できるかどうか 分らないという
（多分「ZFCだけで証明できる」とする論文はまだない。が それだけでは「不可能と断言できない」ってこと）

(参考)
https://www.nippyo.co.jp/shop/book/9736.html
日本評論社
公理的集合論への一歩
無限についてのおはなし 池上大祐 著 2026.06
目次
第13章　フェルマーの最終定理はZFCの下で証明できるか？
——グロタンディーク宇宙と到達不可能基数
13.1　イントロダクション
13.2　おはなしの前に
13.3　おさらい
13.4　グロタンディーク宇宙
13.5　グロタンディーク宇宙と到達不可能基数
13.6　グロタンディーク宇宙の存在と選択公理の違い
13.7　グロタンディーク宇宙とSGA
13.8　フェルマーの最終定理と証明支援系

https://rio2016.5ch.io/test/read.cgi/math/1786433734/20
https://www.nippyo.co.jp/shop/magazine/9438.html
数学セミナー 2025年3月号
集合論の雑学――無限についてのおはなし
フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数
　　……池上大祐　60

https://rio2016.5ch.io/test/read.cgi/math/1786433734/34
＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao