[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)

現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

418: １３２人目の素数さん [] 2021/11/21(日) 07:56:00.96 ID:ZtueUz+V >>411 {{…{{}}…}}が集合でないという問題には取り合えず目を瞑ったとして。。。 後者関数 s(x)={x}、ω={{…{{}}…}} と定義した場合 　ωの前者 {…{{}}…} が存在する！ 後者関数 s(x)=x∪{x}、ω={0,1,2,…} と定義した場合 　ωの前者は {0,1,2,…} から最大限を取り除いた集合であるが、んなものは存在しない。 >あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ 言い負けまいと脊椎反射で返すのが許されるのは三歳児までね http://rio2016.5ch.net/test/read.cgi/math/1595034113/418

427: １３２人目の素数さん [] 2021/11/21(日) 08:49:29.05 ID:fskC7CH9 >>418 >>423 >{{…{{}}…}} そこ、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424だよ だから、{{…{{}}…}}→{fsz(ω)}={{･･{{･･{{{}0}1}2･･}n-1}n･･}ω} が対応するよ {fsz(ω)}は、ω+1が対応するよ {…{{}}…}は、{{…{{}}…}}の前者ではあるが、 {{…{{}}…}}には、ω+1が対応するよ （多分、正則性公理を言いたいんだろうが、当てはまらない） >後者関数 s(x):={x} なんでしょ？君の定義だと いまの場合、後者関数の前に、 多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω >>405 を定義しているので、そっちを優先的に見てくださいね 勿論、多重シングルトン関数の定義の後に、「ここは後者関数と同じ」という解釈はありだよ http://rio2016.5ch.net/test/read.cgi/math/1595034113/427

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.055s