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

---

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

---

418(1): 2021/11/21(日)07:56 ID:ZtueUz+V(1/15) AAS
>>411
{{…{{}}…}}が集合でないという問題には取り合えず目を瞑ったとして。。。

後者関数 s(x)={x}、ω={{…{{}}…}} と定義した場合
　ωの前者 {…{{}}…} が存在する！

後者関数 s(x)=x∪{x}、ω={0,1,2,…} と定義した場合
　ωの前者は {0,1,2,…} から最大限を取り除いた集合であるが、んなものは存在しない。

>あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
省1

---

427(2): 2021/11/21(日)08:49 ID:fskC7CH9(6/17) AAS
>>418 >>423
>{{…{{}}…}}

そこ、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424だよ
だから、{{…{{}}…}}→{fsz(ω)}={{･･{{･･{{{}0}1}2･･}n-1}n･･}ω}
が対応するよ
{fsz(ω)}は、ω+1が対応するよ

{…{{}}…}は、{{…{{}}…}}の前者ではあるが、
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s