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

---

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

---

314(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)00:15 ID:NFbqSkQk(1/12) AAS
>>309
>キューネンの下記では、「ZFC = Axioms 1-9. ZF = Axioms 1-8.」と説明しているな！ｗｗ（＾＾；

キューネン先生の”SET THEORY An Introduction to Independence Proofs”（1999）（下記）
では
ZFC is the system of Axioms 0-9.
ZF consists of Axioms 0-8,
として、Axiom 0 を含めているね
省28

---

326(1): IUT応援団　団員 2020/05/09(土)08:41 ID:j9hCxaDC(2/17) AAS
>>314
>”infinite ”（無限個）だけは、無さそうだな！

団長〜、一時期、●●の一つ覚えのようにいってた「コンパクト性定理」
忘れちゃったんですかぁ？

外部ﾘﾝｸ:ja.wikipedia.org

コンパクト性定理（英: Compactness theorem）とは、
一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、
省14

---

333: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)09:15 ID:NFbqSkQk(8/12) AAS
>>314 補足
(引用開始)
>キューネンの下記では、「ZFC = Axioms 1-9. ZF = Axioms 1-8.」と説明しているな！ｗｗ（＾＾；
キューネン先生の”SET THEORY An Introduction to Independence Proofs”（1999）（下記）
では
ZFC is the system of Axioms 0-9.
ZF consists of Axioms 0-8,
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.044s