>>965
>これ自体が間違っている（そんなことを加藤文元という方はいってはいない）ということでしょうか？

次スレから
https://rio2016.5ch.net/test/read.cgi/math/1763108561/65
>https://konn-san.com/2024-forcing-seminar-notes/00-introduction-to-set-theory-and-logic.pdf
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
>強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
あと、(参考)>>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
到達不能基数の存在はグロタンディーク宇宙と同値である
(引用終り)

まず
少なくとも この 二つの 強制法と 『集合論の宇宙　Universe と Multiverse』を読み込んで
さらには、（アマゾン）”集合論: 独立性証明への案内 単行本 – 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原名), 藤田 博司 (翻訳)”
くらいは、目を通して
いまどきの 基礎論屋さんが唱える 数学業界標準の”宇宙”を
踏まえた上で 加藤文元先生も発言しないとね
みんな混乱しますよね

つまり、いまどきは
ネット検索や AI検索が仕えるので
「あれ？ 加藤文元先生と違う情報がヒットするぞ」
となってしまう・・