>>771 補足

正確には

３）なので、可算選択公理 vs 整列原理 vs 数学的帰納法の原理（同値）の関係あり
４）なので、選択公理 vs 整列可能定理 vs 超限帰納法の原理
　　↓
３）なので、可算選択公理 ＝ 可算整列可能定理（自然数Nに限らず） ＞ 整列原理（自然数N） ＝ 数学的帰納法の原理（自然数N）（＝は同値）の関係あり
４）なので、選択公理 ＝ 整列可能定理（任意の集合） ＞ 整列原理（ある順序集合*）＝ 超限帰納法の原理（ある順序集合*）(* 非可算 )

かな（＾＾