全ての集合は適当な全順序を入れて整列集合にすることができる

同値

整列可能定理