17/07/16 19:20:23.10 Uc1R6So0.net
>>281
＞素朴に，無限族を直接扱えるとすると私たちの戦略は頓挫してしまう.
＞n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
＞その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
＞他の箱から情報は一切もらえないのだから. 当てられっこないではないか
>>1の「無限族そのものが独立」というのは選択公理を否定するものらしい
それはそれで結構だが、その無限族そのものの独立性を定義した上で
その定義から選択公理の否定を証明しない限り、>>１の主張は無意味