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

---

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

---

568(2): 2019/09/25(水)07:43 ID:EeFvG8oM(3/4) AAS
ω＝{ω}とすると、正則性公理に反する

正則性公理を採用しない集合論（ZFC-AFA)の上では
上記のωは集合となるが、その場合も要素は１個

外部ﾘﾝｸ:ja.wikipedia.org

---

570(2): 2019/09/25(水)09:26 ID:2SqyoTy4(6/10) AAS
>>568
どうもスレ主です
元が、1個の集合が、有限元の集合であることは否定していない
だが、それは古典的な有限集合とは、違うでしょ(゜ロ゜;

---

585: 2019/09/26(木)19:14 ID:8SLr+Kit(2/4) AAS
>>579
>ツェルメロの自然数の構成では、
>{}を、無限に使うと、ωになるよ

>>568で述べたが、
{}を、無限に使うと、ω＝{ω}となる
したがって正則性公理に反する

正則性公理の下では{}の重なりの数は有限
省11

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s