>>327
>>327
>><ωは全ての自然数より大、
>>言い換えれば、全ての自然数はω未満
>>と解釈すれば良い
>それは降下列の定義の否定ね

違うよ
降下列の定義は
1．整列させて
2．頭から、付番する。1,2,3,・・とね
3．その結果、a1>a2>a3>・・と、”>”で並べば、降下列となる
4．しかし、「付番 1,2,3,・・」が無ければ、降下列うんぬんは関係ない