>>853
>>上記の証明は>>663と基本的に同じだけど、理解してる？
>形式は一致しているが、>>663の証明はクソだとしか思えない
それ、感情論

>>…>2>1>0
>>は降鎖ではない
>>なぜなら、a_1にあたる項がないからである
>だから、そこを指摘したのは、おれだよ
いや、みんな前から指摘してる
あなたが最近やっと気づいただけ

>>Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
>>それはωより小さい順序数の最大値が存在しないからである
>そんなん、ノイマン構成も同じ
>>Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
>そんなん、ノイマン構成も同じ
そもそもω未満の順序数の最大値が存在しないのは構成法とは無関係
Zermeloの構成法の場合、ω未満の全ての順序数を要素とする必要はないが
ωからω未満の任意の順序数ｎへの降下列が存在するようにするには
無限集合とせざるを得ない