21/11/01 06:16:00.32 S5VLTjgn.net
横レスだが
>>791
>前段で、「＜上昇列 ０＜１＜・・・ω という無限列があり得る」というが
>後段で、「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」という
>おかしいよね。
別におかしくはないんじゃね？
まず、
＜上昇列 ０＜１＜・・・ω と
＜上昇列 ０＜１＜・・・＜ω は
異なる列ね
（注：別にωの左側にω未満の全ての順序数が現れる必要はない）
で
＜上昇列 ０＜１＜・・・ω ではωの前項は存在しないが
＜上昇列 ０＜１＜・・・＜ω ではωの前項が存在する
したがって
＜上昇列 ０＜１＜・・・ω はそのまま降下列とはならないが
＜上昇列 ０＜１＜・・・＜ω はそのまま降下列となる
それだけじゃね？わかんないか？やれやれ