整列可能定理
全ての集合は適当な全順序を入れて
整列集合
にすることができる
同値
選択公理
ツォルンの補題
整列可能定理