>>363-364
やはり、ZFCの中で考えることになるじゃないか。ちなみに、>>343
>>時枝問題の答えは 1-ε

>時枝>>3 「めでたく確率99/100で勝てる.
>確率1-ε で勝てることも明らかであろう.」

>だな
>で
>1.100列で、確率99/100=1- 1/100と書ける
>2.n列で、確率(n-1)/n=1- 1/nと書ける
>3.nを大きく取ると、1/nはどんどん小さくなる。そこで、ε=1/nと書き直す。すると、確率 1- ε と書ける
のような書き方は証明(この場合は解答)の体裁をなしていないのに、
選択公理はいらないとかいって何をいっているんだよ。
そもそも、>>2の R^N に同値関係〜を定義するところで選択公理が必要になる。