>>88
>選択公理を否定して自分勝手に代表を選ぶしかないことを１が認める
球面を4つに分割して2つずつで球面を２つ作るために自分勝手に代表元を選んで貰おう
1点ずつ選んでいくと可算時間内に終わらないから
未来時制でω1時間ならどうかな