>>420
>>つまり、ある箱から先のしっぽの箱には、全て0が入るということ
>　「ある箱から先のしっぽの箱には、全て0が入る」は正しい
>　しかし、同値類のすべてに共通の「ある箱」は存在しない

スレ主です
面白いな
墓穴を掘るとか、墓穴を大きくしている感じがあるよねｗ

　>>2より
http://www.ma.huji.ac.il/hart/puzzle/choice.pdf?
Choice Games November 4, 2013 Sergiu Hart
のgame2
"Player 1 chooses a rational number in the interval [0, 1] and writes down
its infinite decimal expansion 0.x1x2...xn..., with all xn ∈ {0, 1, ..., 9}."
を使うよ

そして、箱入り無数目と同様 箱には{0, 1, ..., 9}の1桁の数を入れ
しっぽの同値類を考える

１）一つの例は、上記のしっぽの箱全てに0が入っているもの
２）それ以外にすぐ思いつくのは、しっぽの箱全てに1、しっぽの箱全てに2、・・、しっぽの箱全てに9
　つまり、循環節長さ1の同値類分類ができる
３）同様にして、循環節長さ2の同値類分類ができる
４）これを一般化して、循環節長さnの同値類分類ができる
５）そして、循環節長さnの同値類分類で、その中のある一つの同値類を考えると
　その同値類中の数列は、全てある長さnの循環節を持つよね？
　これで、何かおかしいかい？ 証明モドキで、空集合φが出てくるの？ｗ 頭おかしくない？ｗｗ