>>458
>箱入り無数目成立のために、rの具体化は不要、存在してさえいればよい。

違うな
1）rの具体化は、可能だ
　可算無限級数→形式的冪級数と
　同値類→多項式
　のモデルで具体化できる
2）このとき、infinite fair lottery>>4-5 による
　パラドックスが起きる
3）infinite fair lotteryで、コルモゴロフの0-1法則類似になって
　決定番号を使う確率計算は、0法則の中での確率計算になる

よって、箱入り無数目のトリックは破綻しているってことですｗ ；ｐ）