そもそも2^ℵ0が整列可能でなければならない理由はないけどね