言っとくけど、順序数を作るのに整列可能定理は一切不要だよ