整列可能定理
任意の
集合
は整列可能である
この定理は、
選択公理
と同値
『集合とはなにか』
p.116~
https://ja.wikipedia.org/wiki/整列集合#導入