1.無限下降列と無限上昇列との両方を禁止したら、それまずいよ(全てが有限列になる) 2.つまり、ZFCでやりたいのは、無限の高層ビルみたいなこと(即ち無限上昇列(それ当たり前))で、禁止したいのは「底なし沼」のようなどこまでも下降する列だよ(「底なし沼」は不要だと) 3.下記のOrdinal numberのポンチ絵 https://upload.wikimedia.org/wikipedia/commons/thumb/1/18/Ordinal_ww.svg/384px-Ordinal_ww.svg.png A graphical "matchstick" representation of the ordinal ω^2. Each stick corresponds to an ordinal of the form ω・m+n where m and n are natural numbers. を見てください。自然数の0,1,2・・が並んだ後に最小のthe first infinite ordinal, ωが来て、ω+1, ω+2, ω+3・・とつづく 0,1,2・・,ω,ω+1, ω+2, ω+3・・ (無限上昇列存在)と説明されている 4.ノイマンの基数割り当てでは、自然数N、つまり加算無限基数アレフ0 が、ω(=ω0)でもある(下記) 5.そして、ノイマンの基数割り当てでは、 ”0∈1∈2・・∈ω∈ω+1∈ ω+2∈ ω+3・・”でもある(分からない人は、下記”von Neumann cardinal assignment”を嫁め) 6.無限上昇列があれば、逆に辿れば、当然無限下降列になる。当たり前。それ禁止したらまずい その説明が、既に述べた >>316 https://en.wikipedia.org/wiki/Axiom_of_regularity Axiom of regularity - No infinite descending sequence of sets exists にあるよ 7.”「"最後の項がある"無限上昇列は存在しない」と言っている”は、単に、おサルがキーキー言っているだけの独自説にすぎない!(^^;