25/11/15 11:59:08.11 Jxqf+IQV.net
>>61 補足
>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
到達不能基数の存在はグロタンディーク宇宙と同値である
(引用終り)
で、21世紀のいまどきに
”宇宙”といえば、こちらの意味ですね
むかしむかし グロタンディークが書いたという
強制法以前の SGA”宇宙”を持ち出して
これが、数学の業界標準ですよね とか言ってもね・・
それ 浦島太郎さんで
いまどきの数学者は びつくり
「浦島太郎さん 早く玉手箱あけて 煙を・・・」
ですね
プリンストン大学飛び級の数学大天才に
下世話な 基礎論数学用語の使い方は
関係ないといえば それまでですが・・（＾＾