Inter-universal geometry と ABC予想 (応援スレ) 73 (904ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

315(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/04(月)07:14 ID:IiqX04eZ(2/3) AAS
>>314 補足

数理論理学ＩＩ 坪井明人 筑波大 (2014年) 外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
より
Ｐ6
1.1.3 内包性公理
各論理式 φ に対して，
∃y∀z(z ∈ y ↔ (z ∈ x ∧ φ(z))).
省27

---

319: 08/04(月)07:58 ID:mlwA315d(2/4) AAS
>>315
>ZFの公理の中で、この公理は置換公理と空集合の公理に従う
なぜか分かるかい？　答えてみ

---

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

---

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

---

ぬこの手 ぬこTOP 0.027s