[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

317(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)09:54 ID:B5CZ4/Lr(3/13) AAS
>>316

つづき

P101
Foundation
does rule out certain pathologies. For example, we remarked in §2 that there
is no x ∈ WF such that x ∈ x, so Foundation implies that ¬∃x (x ∈ x) (or,
apply the axiom directly to show ∃y ∈ {x} (y ∩ {x} = 0), so x ∩ {x} = 0,
省17

---

397(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/16(土)20:33 ID:B5CZ4/Lr(8/13) AAS
>>316-318 <まとめ>
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P100
§4. The Axiom of Foundation
AXIOM 2. Foundation.
∀x(∃y(y∈x)→∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))).
省32

---

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

---

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

---

ぬこの手 ぬこTOP 0.038s