>>33
>ボックスの数が有限の場合と、無限の場合で、全く違う

有限の場合、決定番号が上限値ならその次の箱はない
無限の場合、決定番号に上限がないから必ず次の箱がある

ついでにいうと、>>1氏がかつて云っていた
「有限モデルをｎ→∞として無限モデルにする」
という方法は使えない

なぜなら決定番号は必ず自然数の値をとるから「決定番号が∞」はあり得ない
∞は自然数ではないし、無限列の場合、列の最後の箱も存在しない