Inter-universal geometry と ABC予想 (応援スレ) 74 (860ﾚｽ)
上下前次1-新
758(1): 09/05(金)07:58 ID:yXqL6vjN(2/10) AAS
>>751
>Grothendieck宇宙に幾つかの定義などなければ
>集合であるGrothendieck宇宙が
>フォン・ノイマン宇宙より「広い」
>などということはあり得ない
>>753
>(en.wikipedia "Grothendieck universe")
>”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory”
>(非自明なグロタンディーク宇宙の存在は、ツェルメロ・フランケル集合論の通常の公理を超えている。)
>(Inter-universal Teichmuller Theory IV)
>”We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model”
>(グロタンディーク学派のこの追加公理も満たすZFCモデルをZFCGモデルと呼ぶことにする。)
751とまったく同じことをいって、751が否定できたと思う高卒🐎🦌
「幾つかの定義」＝「追加公理G」
どうでもいいけど、MSのいうメンバーシップ問題ｘ∈ｘの解決が
「グロタンディック宇宙の中にグロタンディック宇宙がある」
ということなら、感想は以下の通り
「なにいってんだ？この半ユダ半土人の●違い」
上下前次1-新書関写板覧索設栞歴
あと 102 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s