- 284 名前：現代数学の系譜11 ガロア理論を読む [2016/08/26(金) 23:31:46.98 ID: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”（�
|
 |
