>>356
>あくまで、否定する部分は、一つの同値類全体Uの場合、
>”決定番号が、１からｎの間に来る確率は、０（ゼロ）”

>「D >= d(S^k) を仮定しよう.」の「仮定」の部分だよ

>つまり、”Dは有限な、１からｎの間に来る確率は、０（ゼロ）”
>ってことを主張しているんだ

やっぱり∃ｙ∀ｘと∀ｘ∃ｙの違いが分かってないんだな

まず、∃ｙ∀ｘの場合
「ある自然数ｎが存在して、任意の１００列について
　１００列の決定番号が、全てｎ以下になる」
となる確率は限りなく０に近い

これがあなたの主張

そして、∀ｘ∃ｙの場合
「任意の１００列について、それぞれある自然数ｎが存在して
　１００列の決定番号が、全てｎ以下になる」
というのは真だ　つまり確率１

ｎを１００列の決定番号の最大値とすればいい
決定番号は必ず自然数であるのだから、最大値も当然存在する
それがいかほど大きかろうが存在しさえすればいいｗ

箱入り無数目で必要なのは後者が成り立つことだ

つまりある１列を除いた９９列の決定番号の最大値をとった場合
それが元の１００列の決定番号の最大値より小さくなる場合は、
１００列中のたった１列にすぎないといえればいい

あらかじめ、ある自然数ｎを設定する必要などないのである
前者が成り立つ確率が限りなく０に近いからといって
そんなことは全然問題にならない