＞無限個の元を好きな順番に整列できる

　これは選択関数次第という意味ではウソではない
　ただ、選択関数を１つ決めてしまったらもう任意性はないけど

　ついでにいうと、可算だからといって、整列が必ずωと同型になる、なんていえない
　可算順序数は無数にあるから（それこそ非可算個ある）