選択公理はどこが変なのでしょうか？無限公理が変だと思わないように
選択公理も全然変だと思わないですけどね。
整列の方は、可算でもなく単なる全順序でもないという、なんだか変な
感じがするけど。