>>94
http://rio2016.2ch.net/test/read.cgi/math/1483075581/397
> Sergiu Hart氏>>47のgame2においては、選択公理を使わないバージョンだから

>>51
> 箱に入れるのは0から9までの自然数であると限定して無限数列(a1, a2, ... , ak, 0, 0, ... )
> を考えるとすると数当てはk+1番目以降の0を当てることになる
> この場合上の無限数列と有限小数0.a1a2 ... akを対応づけることができる

これはgame2をさらに限定した数当てを考えていることになる

http://rio2016.2ch.net/test/read.cgi/math/1483075581/399
> Sergiu Hart氏>>47のgame2（循環小数モデル 選択公理不要版） ＜＜ Sergiu Hart氏game1 (可算無限 箱に任意の実数 最初に問題の数列並べておく）
にならって書くとgame2の限定版(有限小数モデル 選択公理不要版)