20/01/01 16:53:40.86 E03EXCHH.net
>>154
◆e.a0E5TtKEは正月早々トンデモ全開だなｗ
◆e.a0E5TtKE 2020年初トンデモ発言
>x→f(x)→f(f(x))→f(f(f(x)))→・・・→ω→f(ω)→f(f(ω))・・・
>Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・→ω→{ω}→{{ω}}・・・
「→ω」がトンデモの始まりだな
ナイーブな直感の誤りに気づけず
暴走して崖から飛び出し転落死
若気の至りってやつだな・・・
閑話休題
ωは極限順序数だぞ
x→f(x)→f(f(x))→f(f(f(x)))→・・・
ω→f(ω)→f(f(ω))・・・
Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・
ω→{ω}→{{ω}}・・・
こう書くのが正しい
だからsuc(x)だけではωは決まらない
>Zermelo構成でのω、つまりは空集合を出発点として
>ペアノシステムにより、シングルトンのωが存在し、
>これはシングルトンの可算無限重の集合と解釈できるってこと
Zermelo構成のωはシングルトンではないな
「ωから任意の自然数ｎへの∈降下列が存在する」
という性質を満たすには少なくとも無限個の自然数が
ωの要素である必要がある（実は無限個含めば十分）