generated at
整列可能定理
任意の集合は整列可能である
この定理は、選択公理と同値

『集合とはなにか』 p.116~
https://ja.wikipedia.org/wiki/整列集合#導入