>>233
>箱入り無数目の同値関係をフレシェ・フィルタを用いて定義することはできると思う？

同値関係は、別に問題ない
問題は、時枝の確率計算 99/100が、測度論的に正当化されないってことだよ
（なお、確率論のIID（独立同分布）が時枝の反例になっているよ。IID（独立同分布）が理解できないようだね（＾＾；）

時枝記事の類似は、2013年12月09日にmathoverflowで、議論されている
二人の数学Dr Alexander Pruss 氏と Tony Huynh氏と、それ以外に質問者Denis氏（彼はコンピュータサインスの人）の周囲の人（"other people argue it's not ok"）
たちは、「時枝の議論は測度論的に不成立」と言っている

（参考）
https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice
Probabilities in a riddle involving axiom of choice Denis氏 Dec 9 '13
(抜粋)
・・・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.

answered Dec 11 '13 at 21:07 Math Dr. Alexander Pruss 氏
・・・But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i
・・・Intuitively this seems a really dumb strategy.

answered Dec 9 '13 at 17:37 Math Dr. Tony Huynh氏
・・・If it were somehow possible to put a 'uniform' measure on the space of all outcomes, then indeed one could guess correctly with arbitrarily high precision, but such a measure doesn't exist.