>>326
>０，１，・・ <ｎ< ・・ <ω
>としても，<ωは全ての自然数より大、言い換えれば、全ての自然数はω未満
>と解釈すれば良い
>それで
>何の問題もない
ω>・・ >ｎ>・・>1>０　が下降列ではないという問題がある
ωの次が無いから