25/11/15 13:30:13.46 Jxqf+IQV.net
>>965
>これ自体が間違っている（そんなことを加藤文元という方はいってはいない）ということでしょうか？
次スレから
ｽﾚﾘﾝｸ(math板:65番)
>URLﾘﾝｸ(konn-san.com)
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
>強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
あと、(参考)>>13 より 薄葉先生 再録
URLﾘﾝｸ(www.mathsoc.jp)
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
URLﾘﾝｸ(www.mathsoc.jp)
発表スライド『集合論の宇宙 Universe と Multiverse』
P7
到達不能基数
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である
(引用終り)
まず
少なくとも この 二つの 強制法と 『集合論の宇宙 Universe と Multiverse』を読み込んで
さらには、（アマゾン）”集合論: 独立性証明への案内 単行本 – 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原名), 藤田 博司 (翻訳)”
くらいは、目を通して
いまどきの 基礎論屋さんが唱える 数学業界標準の”宇宙”を
踏まえた上で 加藤文元先生も発言しないとね
みんな混乱しますよね
つまり、いまどきは
ネット検索や AI検索が仕えるので
「あれ？ 加藤文元先生と違う情報がヒットするぞ」
となってしまう・・