>>528 関連

> １．”選択公理←→ Zorn の補題←→ 整列可能定理”という関係があって、バリエーション豊富だし

英ZFCの解説では、Well-ordering theorem で説明しているね。確かに、Well-ordering theoremが分かり易いかもしれないね（＾＾
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
(抜粋)
2 Axioms
2.1 Axiom of extensionality
2.2 Axiom of regularity (also called the Axiom of foundation)
2.3 Axiom schema of specification (also called the axiom schema of separation or of restricted comprehension)
2.4 Axiom of pairing
2.5 Axiom of union
2.6 Axiom schema of replacement
2.7 Axiom of infinity
2.8 Axiom of power set
2.9 Well-ordering theorem
(引用終り)