>>601
追加

https://math.wikia.org/ja/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合 数学Wiki

定義
整列集合 (Well ordered set) とは、集合 X で以下を満たすものである。

・Xは全順序集合である。
・（このことを、二項関係≦ が整礎であると言う。）
　X の任意の空でない部分集合 A に対し、A の最小元 a0 が存在する。つまり、任意の A の元 A に対して、a0≦ a が成り立つ。
(引用終り)

この話は、なんども教えてやったろう？　おサル
「最小元 a0 が存在する」が、重要キーワード

無限降下列より前に、「最小元 a0 が存在する」を意識しないとよ、ダメなのよ、おサルよ
「最小元 a0 が存在する」全順序の列は、整列集合であって、それは無限の列でも、「最小元 a0 が存在する」から、真の”無限降下列”にはならんぜ
そこが分かってないおサルよ、哀れ

だがな、それは気付かないといけないよね
だって、整列集合の無限列を、”無限降下列”と勘違いするなんてさ、センス悪すぎだよ

整列集合の無限列を禁止したら
数学にならんって、気付かないか？　アホざるよ（＾＾；