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