[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

438(1): 08/09(土)23:45 ID:bw4CRSHc(6/6) AAS
>>423 追加

・数学宇宙で、有名どころが3つ
　Constructible universe L
　Von Neumann universe V
Grothendieck universe U
・包含関係 L⊂V⊂U があります
　ここで、Grothendieck universe U を
省14

---

454(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)09:34 ID:f12p+Q2v(1/12) AAS
>>438 追加
さて、強制法でも 宇宙が出てきます
図解があると 分かり易い
それが、下記 石井大海氏 Boole 値モデルと強制法pdfのP7
なお、下記 ”google AI による概要”も、ご参照

要するに、例えば 連続体仮説 が、ZFCから独立ということを証明したいときに
強制法を ZFCに 適用することで、証明ができる
省21

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.036s