ちなみに>>661の
>２）問題は、出題の無限列を全く知らずに、良い代表rを選ぶことが出来るのか？
は読むに値しないので無視しました。
そもそも箱入り無数目は「良い代表系」を前提としていません。代表系が存在することのみを前提としています。存在は選択公理により保証されます。