>>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ

逆に
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる

「X1，X2，X3，・・・がまるまる無限族として独立」の定義から
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」が
証明できるのかい？

これはもう測度論じゃなく集合論の問題だな