>>15
>明らかに
>0∈1∈2∈3∈・・・∈n∈n+1・・・

これはあなたのいう”無限上昇列”ですね。

>明らかに
>0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N＝ω

”∈N”の右側が・・・になっているので
何が書かれるのか”明らか”でないですね。

もし、ｍ∈Nで、ｍは自然数であるなら
0∈1∈2∈3∈・・・∈n∈n+1・・・m∈N＝ω
は”明らかに”有限長です。

確かにNは任意の自然数を要素としますが
どの自然数をとってきても上記の列は有限長です。
つまり、無限降下列は構成できません。