[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
392: １３２人目の素数さん [] 2021/11/19(金) 06:22:00.40 ID:kdw3z2XW(1/5) AAS
>>389
>否定してるのは
>無限重シングルトンが集合である
>という君のトンデモ論
カッコのお絵描きだけが得意の
三歳児には難しいらしい
>>390
>{{…}}は最外カッコを外しても{{…}}、
>つまり{{…}}∋{{…}}∋…が
>∈無限下降列となり正則性公理違反。
その通り
>…{{}}…は最外カッコが無いから外そうにも外せず、
>したがって元が定まらない。
>元が定まらないものを集合とは呼べない。
だから>>386のいうように「超集合」なんでしょ
佐藤超関数ならぬセタ超集合
>結局無限重シングルトンは集合たり得ない。
その通り
そもそも>>388も書いてるが、別に極限順序数まで
無理矢理シングルトンにする必要はない
三歳児の美学は幼稚
>>391
>無限重シングルトンが集合であることをZF公理系から出発して証明してごらん
カッコが平面上の点集合だから
シングルトンはその和集合として集合だとか
トンデモな屁理屈を口にするよ
なにしろお絵描きで数学できると思ってる三歳児だから
やっぱ、国立大卒ってウソだろうな
高卒かせいぜいＦラン大卒
対偶も知らんとか数学板に書きこむ資格ないって
393(1): １３２人目の素数さん [] 2021/11/19(金) 06:33:08.62 ID:kdw3z2XW(2/5) AAS
結局、順序数ｘがシングルトンであらわせるのは
ｘが後続順序数であるとき、そのときに限るのよ
注）空集合{}は要素ないからシングルトンではない
というのは
ｘ＝｛ｙ｝と表せる⇔ｙが、ｘより小さい順序数の最大元
ということだから
ｘが極限順序数だったら、ｘより小さい順序数の最大元はないから
上記の最大元だけを要素として持つシングルトンとしては表せない
ｘが極限順序数の場合
１．ｘより小さい元のみを要素として持つ
２．要素内の最大元は存在しない
３．さらにｘより小さく、要素内のいかなる元よりも大きい元も存在しない
を満たすようにするしかないので、必然的に無限集合となる
注）最小の無限順序数ωの場合１．と２．のみ満たせば３．を満たすが
最小の非可算順序数ω1の場合は１．と２．だけ満たしても
可算無限集合だと３．を満たさないので ３．も必要
400: １３２人目の素数さん [sage] 2021/11/19(金) 19:34:09.86 ID:kdw3z2XW(3/5) AAS
>>395
「集合には一番外側の{}が必要だ」ということを
やっと理解したようだね 三歳児クン
>{}を0シングルトン
{}は空集合だから、シングルトンではない
言葉を真っ先に学ぼうな 三歳児クン
>{・・・・{}・・・・}＝{・・・{Φ}・・・}（{}がω重）をωシングルトン
{・・・・{}・・・・}の要素は・・・・{}・・・・一つだからシングルトン
それはいいとして、問題は
ω={・・・・{}・・・・}={ｘ}としたときの
ｘ＝・・・・{}・・・・はいかなる順序数か？
ｘはいかなる自然数よりも大きいのかね？
だったら、それがωなのではないのかね？
ωより小さく、任意の自然数ｎより大きい順序数がある
というのはωの定義に反することは理解できるかい？三歳児クン
>>394
シングルトン【一元豚】
402(2): １３２人目の素数さん [sage] 2021/11/19(金) 21:35:52.39 ID:kdw3z2XW(4/5) AAS
>>401
正しく書けよ 三歳児
ーーーーーーーーーーー
数→Zermelo→Neumann
0 :{} → {}
1 :{0} → {0}
2 :{1} → {0,1}
3 :{2} → {0,1,2}
・
・
n :{n-1} → {0,1,2,･･,n-1}
・
・
−−−−−−−−−−−−−−
そうするとωで困る筈
−−−−−−−−−−−−−−
ω:{?} → {0,1,2,･･,n-1･･･}
−−−−−−−−−−−−−−
つまり？にいれるものがない、
0,1,2,･･,n-1･･･には、「最後の元」がないから
そこで困るのが正常な人
困らないなら、ないものをあるとデッチあげる
ウソツキの卑怯者の変質者だな
結局Zermeloでも{0,1,2,･･,n-1}とするしかないと気づく
極限では「一元豚」は死ぬ 無限豚(infiniton)万歳！！！
403: １３２人目の素数さん [sage] 2021/11/19(金) 21:37:17.11 ID:kdw3z2XW(5/5) AAS
>>402
誤 結局Zermeloでも{0,1,2,･･,n-1}とするしかないと気づく
正 結局Zermeloでも{0,1,2,･･,n-1,･･･}とするしかないと気づく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.081s*