Inter-universal geometry と ABC予想 (応援スレ) 74 (970ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

753(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)00:23 ID:n1shBuli(1/2) AAS
>>751
(引用開始)
Grothendieck宇宙に幾つかの定義などなければ
集合であるGrothendieck宇宙がフォン・ノイマン宇宙より
「広い」などということはあり得ない
中卒は述語論理と公理主義からやり直すこと
(引用終り)
省23

---

754: 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/05(金)00:24 ID:n1shBuli(2/2) AAS
つづき

外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF
　　NEW !! (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:
省4

---

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

---

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

---

ぬこの手 ぬこTOP 2.075s*