>>125
> 無限に続ければ、どんな決定番号ｎにも、無限の箱は存在しますよ。これ、当たり前ですよね

> 決定番号ｎであれ、かならずその後者ｎ＋１があり、またその後者ｎ＋１＋１があり・・と無限に続きます。
これはNの真部分集合{1, 2, ... , n}, {1, 2, ... , n+1}, {1, 2, ... , n+1+1}, ... を順々に考えているわけで
もし「後者」がなくなればそのときはじめてNの真部分集合でなくて自然数全体の集合Nになったことが言えるわけです
だから「後者」がなくなることを示さなければ可算無限になることは言えないですよ
可算無限というのは自然数全体の集合Nの濃度だというのは分かりますよね？

> またその後者ｎ＋１＋１があり・・と無限に続きます
だと「後者」が尽きることはないということです
当たり前ですよね

決定番号がn : 決定番号nより後ろには可算無限個の項が存在する
決定番号がn+1 : 決定番号n+1より後ろには可算無限個の項が存在する
であるから
決定番号が自然数 : 決定番号より後ろには可算無限個の項が存在する (可算無限個から変化なし)

決定番号より後ろには可算無限個の項が存在する = いずれ「後者」になる項が可算無限個存在する