[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
4: 2019/12/21(土)17:01 ID:RiKZpZyq(1/3) AAS
◆e.a0E5TtKE トンデモ発言
1.{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}
∈を勝手に推移的だと誤解
さすがに今は誤りに気付いた模様
2.Zermelo構成では 0={},1={{}},2={{{}}},…
だから Ω={{…(無限重)…}}
ωが極限順序数であって前者が存在しないことを理解せず
1以降の自然数がシングルトンだから、ωもそうなる筈と誤解
いまだに誤りに気づかぬ模様
11(1): 2019/12/21(土)20:37 ID:RiKZpZyq(2/3) AAS
>>7
>可算無限個ある箱を、タテに多重に入れ子式に重ねれば、
>これぞシングルトンのモデルだ
>つまり
>{・・・{{a}}・・・}
はい●違い
一番外側に{}をつけたら●違い
外側のカッコを外した中身がω-1になるだろ
しかしそんなものは存在しない
存在しないものがあるといった瞬間 ●違い
いっただろ? s(x)={x} ではωは作れないって
ω={x}となるxが存在したら●違いなんだからw
どうして●違い◆e.a0E5TtKEは
∈といい極限順序数といい
初歩がわからんかねぇ
脳味噌に寄生虫でも湧いてるんかねぇ?
12: 2019/12/21(土)20:44 ID:RiKZpZyq(3/3) AAS
結局ωをZermelo構成で実現する場合
{{},{{}},{{{}}},…}とするしかない
必ずしも自然数全てを要素とする必要はないが
限りなく増加する自然数の列の項を要素とする必要がある
例
1,3,5,7,9,・・・
1,2,4,8,16,・・・
1,2,2^2=4,2^(2^2)=16,2^(2^(2^2))=65536、・・・
上限があったらそれがωの前者になってしまうから
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.045s