>>401
>0 := {}, suc(a) := {a} と定義したならば、
>ω :{・・・{{{}}}・・・}
大間違い。
なぜならそのように構成されたωは後続順序数であり(前者は{・・・{{{}}}・・・}の最外カッコを外したもの)、極限順序数の定義に反するから。
君の頭蓋の中にあるのは八丁味噌かい?脳ミソではないようだけど