19/03/10 11:20:32.16 rk/29Zdt.net
>>143
>「選択公理 (→ツェルメロの公理 ) を使って整列集合をつくらなければならない」とか
（>>152より）
Equivalently, assuming the axiom of dependent choice, a relation is well-founded if it contains no countable infinite descending chains: that is, there is no infinite sequence x0, x1, x2, ... of elements of X such that xn+1 R xn for every natural number n.[1][2]
(引用終り)
URLﾘﾝｸ(en.wikipedia.org)
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 most of real analysis.
It was introduced by Paul Bernays in a 1942 article that explores which set-theoretic axioms are needed to develop analysis.[a]
(引用終り)
という記述があるので、選択公理と全く無関係でもないみたいだね