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

---

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

---

401(1): IUT応援団　団員 2020/05/10(日)11:36 ID:vZYbiwt9(12/35) AAS
>>371
団長・・・英語も読めないんですね

まず{x ∈ X｜ ψ (x)}はAxiom3.Comprehension Scheme（分出公理図式）の話ですよ

それから
”On the basis of Axioms 1,3,4,5,
　define ⊆ (subset), Φ (or 0; empty set), S (ordinal successor function ),
　 ∩ (intersection), and SING(x) (x is a singleton) by”
省5

---

404(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)11:55 ID:mjl0bfS3(23/41) AAS
>>401

（>>371より ｗｗ（＾＾；　）
（参考）
外部ﾘﾝｸ[pdf]:www.math.wisc.edu
The Foundations of Mathematics Kenneth Kunen PDF
2007/10/29 - c 2005,2006,2007 Kenneth Kunen. Kenneth Kunen
(抜粋)
省13

---

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

---

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

---

ぬこの手 ぬこTOP 0.154s*