>>171
mathoverflow
The Modification
”but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.”
ですよｗｗ（＾＾；

https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Dec 9 '13
　(抜粋)
（Alexander Pruss氏）
The Riddle
略
The Modification

In fact, he can first choose any bound N instead of 100, and then play the game, with only probability 1/N to be wrong.
In this context, does it make sense to say "guess the content of a box with arbitrarily high probability"?
I think it is ok, because the only probability measure we need is uniform probability on {0,1,…,N?1},
but other people argue it's not ok, because we would need to define a measure on sequences, and moreover axiom of choice messes everything up.