横レスだが

>>791
>前段で、「＜上昇列　０＜１＜・・・ω　という無限列があり得る」というが
>後段で、「＜上昇列　０＜１＜・・・＜ω　が有限列にしかなり得ない」という
>おかしいよね。
別におかしくはないんじゃね？

まず、
＜上昇列　０＜１＜・・・ω　と
＜上昇列　０＜１＜・・・＜ω　は
異なる列ね
（注：別にωの左側にω未満の全ての順序数が現れる必要はない）

で
＜上昇列　０＜１＜・・・ω　ではωの前項は存在しないが
＜上昇列　０＜１＜・・・＜ω　ではωの前項が存在する

したがって
＜上昇列　０＜１＜・・・ω　はそのまま降下列とはならないが
＜上昇列　０＜１＜・・・＜ω　はそのまま降下列となる

それだけじゃね？わかんないか？やれやれ