19/10/05 07:04:13.65 kZwmbLNI.net
>>15
>明らかに
>0∈1∈2∈3∈・・・∈n∈n+1・・・
これはあなたのいう”無限上昇列”ですね。
>明らかに
>0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N=ω
”∈N”の右側が・・・になっているので
何が書かれるのか”明らか”でないですね。
もし、m∈Nで、mは自然数であるなら
0∈1∈2∈3∈・・・∈n∈n+1・・・m∈N=ω
は”明らかに”有限長です。
確かにNは任意の自然数を要素としますが
どの自然数をとってきても上記の列は有限長です。
つまり、無限降下列は構成できません。