>>871
>>ωがシングルトンなら、その唯一の要素はω−1だよね?
>不同意
>「ωがシングルトン」ではない
ん?「ωはシングルトンだ」と言ってるんじゃないの?

>ここは
> 1)「<上昇列 0<1<・・・ω という無限列があり得る」と
> 2)「<上昇列 0<1<・・<n<ω で有限列を表す」
>こう書けば良かったんだ。
>これは、人の意志であり、定義です
違うけどね
ωから「>」でより小さい順序数に降りるとした瞬間
それが何であっても有限列にしかならない、という
「定理」だけどね

つまり「多項式の定義」とは意味が異なる 分かってる?