>game2では選択関数を構成可能なので選択公理は不要ですね。
選択関数の構成例
game2では10進小数表示で同じ循環節を持つ q∈[0,1]∩Q が同値になります。
よって代表は循環節のみからなる元とすることができます。
例えば
循環節が"0"の同値類の代表=0
循環節が"1"の同値類の代表=0.111…
循環節が"123"の同値類の代表=0.123123123…