[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

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

---

533: 2019/11/30(土)08:22 ID:80qUAbW7(1/3) AAS
◆e.a0E5TtKEは宇宙際順序数論（ｗ）で
・・・{{{ }}}・・・（可算無限多重シングルトン）
が正当化できると思ってる正真正銘の馬鹿ｗ

フォン・ノイマンだろうがツェルメロだろうが
＋１とlimは全然異なる

ｘ＋１
フォン・ノイマン　ｘ∪｛ｘ｝
ツェルメロ　　　　｛ｘ｝

lim　ｘ＿ｎ
フォン・ノイマン　∪｛ｘ_ｎ｝
ツェルメロ　　　　∪｛ｘ_ｎ｝

だから、
フォン・ノイマンのωに対応する
ツェルメロのΩはシングルトンではない

---

534: 2019/11/30(土)08:40 ID:80qUAbW7(2/3) AAS
◆e.a0E5TtKEは、安達と同じく「素朴」集合論でしか考えてない

対象：○、□、◇、☆、・・・
集合：｛｝、{○}、{□}、{◇}、{☆}、・・・
　　　　{○、□}、{○、◇}、{○、☆)、・・・
　　　　{□、◇}、{□、☆}、・・・
　　　　{◇、☆｝、・・・
　　　　{○、□、◇}、{○、□、☆}・・・
　　　　{○、◇、☆}、・・・
　　　　{□、◇、☆}、・・・
　　　　{○、□、◇、☆」、・・・

どうせ、対象がｎ個なら集合は２＾ｎとかいうレベルでしか考えてないｗ

だから｛N｝は無限集合、とか馬鹿丸出しのことを平気でいう
（バカだから、Nの要素が”集合でない対象”だと思ってるｗ）

---

535: 2019/11/30(土)08:57 ID:80qUAbW7(3/3) AAS
今の集合論は反復的集合観に基づいてる

まず、集合でない対象は存在しない。すべて集合ｗ
空集合{}から始め、順々にベキ集合をつくっていく

第０段階　{}
（１個）
第１段階　{}、{{}}
（２＾１＝２個）
第２段階　{}、{{}}、{{{}}}、{{},{{}}}
（２＾（２＾１）＝４個）
第３段階　{}、{{}}、{{{}}}、{{{{}}}}、{{{},{{}}}}、
　　　　　{{},{{}}}、{{},{{{}}}}、{{},{{},{{}}}}、
　　　　　{{{}},{{{}}}}、{{{}},{{},{{}}}}、{{{}}},{{},{{}}}}、
　　　　　{{},{{}},{{{}}}}、{{},{{}},{{},{{}}}}、
　　　　　{{},{{{}}},{{},{{}}}}、{{{}},{{{}}},{{},{{}}}}、
　　　　　{{},{{}},{{{}}}},{{},{{}}}}
（２＾（２＾（２＾１））＝１６個）
・・・

有限段階の反復的集合を全部合わせたものが遺伝的有限集合（可算個）
見ればわかるが、第ｎ段階で、
フォン・ノイマンの順序数ｎも
ツェルメロの順序数ｎも生成される

---

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

---

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

---

ぬこの手 ぬこTOP 0.036s