>>23
>「無知こそ最大の悪徳である」ソクラテスの箴言

望月先生は、多分 薄葉 季路先生たち 基礎論屋さんの使う 強制法の用語”宇宙”(下記)を知らないのだろう
（『直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている』）

21世紀の数学で”宇宙”といえば、ふつう こちらの強制法の用語”宇宙”なのです
多分、グロタンディークも SGA当時は 強制法には、無知だったと思われる

「無知こそ最大の悪徳である」の典型例か？　（＾＾；

(参考)>>13 より再録
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』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である

https://konn-san.com/
石井 大海
https://konn-san.com/2024-forcing-seminar-notes/00-introduction-to-set-theory-and-logic.pdf
強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである

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

https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95
強制法
強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。

直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている