17/06/19 19:40:58.49 4xo5X+iQ.net
>>33
>ボックスの数が有限の場合と、無限の場合で、全く違う
有限の場合、決定番号が上限値ならその次の箱はない
無限の場合、決定番号に上限がないから必ず次の箱がある
ついでにいうと、>>1氏がかつて云っていた
「有限モデルをｎ→∞として無限モデルにする」
という方法は使えない
なぜなら決定番号は必ず自然数の値をとるから「決定番号が∞」はあり得ない
∞は自然数ではないし、無限列の場合、列の最後の箱も存在しない
17/06/19 19:40:58.49 4xo5X+iQ.net
>>33
>ボックスの数が有限の場合と、無限の場合で、全く違う
有限の場合、決定番号が上限値ならその次の箱はない
無限の場合、決定番号に上限がないから必ず次の箱がある
ついでにいうと、>>1氏がかつて云っていた
「有限モデルをｎ→∞として無限モデルにする」
という方法は使えない
なぜなら決定番号は必ず自然数の値をとるから「決定番号が∞」はあり得ない
∞は自然数ではないし、無限列の場合、列の最後の箱も存在しない