[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

279(1): 2019/10/12(土)09:30 ID:9mz947Hb(2/3) AAS
集合の元ね。
F(Ω)の元しかありません。
もし>>275の証明に納得がいかないなら証明中の

××はsingletonであるから

という下りのところがおかしいという説ですが、ここにF(Ω)の元しか出てこないのはわかりますか？

---

281: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)09:45 ID:0oc9Ztsl(10/28) AAS
>>278-279

？
（>>272より）
ツェルメロ構成：
後者関数e；suc(a)e := {a} （aのシングルトン {a} ）

これで a∈ {a}
つまり、前者集合e ∈ 後者集合e
省1

---

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

---

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

---

ぬこの手 ぬこTOP 0.034s