17/08/09 06:34:36.09 bM/5YfPT.net
>>537 補足の補足
>>528より
”（命題A）
選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
（命題B）
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる”
これで、特に（命題B）が問題だが、もし（命題B）が言えたら（証明できたら）、基礎論的には面白いと思うけどね（＾＾
”独創的な天才小学生！”の君（>>524