16/08/26 23:31:46.98 zB1c7eOp.net
>>247 補足
>＞結局スレ主は、Q^N/～における代表系を（選択公理無しで）どうやって構成すると言ってるの？
>の問いからは逃亡。。。これじゃ引き締まるはずも無い。
すでに、>>261-262で答えているが、補足する
>>264に書いたように、Sergiu Hart氏は、game 2で、”without using the Axiom of Choice”を提案している
Proofで”Because there are only countably many sequences”とSergiu Hart氏は書いている
しかし、>>83のように”10^N/～ の完全代表系は「存在しない」ことが証明できる”って話もあるから
完全代表系ではなく、問題の100列だけの代表系で済まそうというのが、>>262だ
ともかくも、Sergiu Hart氏のProofで”Because there are only countably many sequences”（�