つづき

Another example is the set of proper and bounded open intervals of real numbers with rational endpoints.
ZF+ACω suffices to prove that the union of countably many countable sets is countable. These statements are not equivalent: Cohen's First Model supplies an example where countable unions of countable sets are countable, but where ACω does not hold
https://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Axiom of dependent choice
In mathematics, the axiom of dependent choice, denoted by
DC, is a weak form of the axiom of choice (AC) that is still sufficient to develop much of real analysis. It was introduced by Paul Bernays in a 1942 article in reverse mathematics that explores which set-theoretic axioms are needed to develop analysis.[a]
Relation with other axioms
Unlike full AC, DC is insufficient to prove (given ZF) that there is a non-measurable set of real numbers, or that there is a set of real numbers without the property of Baire or without the perfect set property. This follows because the Solovay model satisfies ZF+DC, and every set of real numbers in this model is Lebesgue measurable, has the Baire property and has the perfect set property.
The axiom of dependent choice implies the axiom of countable choice and is strictly stronger.[4][5]
It is possible to generalize the axiom to produce transfinite sequences.
If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.
https://ja.wikipedia.org/wiki/%E5%BE%93%E5%B1%9E%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
従属選択公理(英語: axiom of dependent choice; DCと略される)
(引用終り)

１）いま、例示として 自然数N={0,1,2,・・}を取る
　それを 素直に 整列させて 0,1,2,・・ とすれば 下記の順序数でいうところの列長さωになる
　これは、可算選択公理 ACω で可能
　ところが、もし 偶数を先に全部並べて後 奇数を並べると
　0,2,4,・・・、1,3,5,・・・ となる。これは列長さω + ωであるから
　可算選択公理では 一度には無理
（このように複雑な列構成の場合には 可算選択公理の列ω長さの能力を超える場合がありうる）
２）同じ理屈で 可算集合である有理数Qにおいて、Qから列長さω を生成することは可能だが
　Qを任意順にすべて整列することはACωでは不可
３）フルパワー選択公理ならば、任意列長さを出力可能

冒頭のオチコボレさんの妄言は、無意味■

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数（英: ordinal number）とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω
(引用終り)
以上