>>231
>・結局、game1では、uncountably(非可算)、game2では、only countably many(可算)
>　だから、game2では、フルパワー選択公理→可算選択公理で済むってことですよ
はい、大間違いです。
Game2では選択公理が不要な理由が説明されています。
「Because there are only countably many sequences x ∈ {0,..., 9}^N that Player 1 may choose (namely, those x that become eventually periodic), we can order them—say x^(1), x^(2),..., x^(m),...—and then choose in each equivalence class the element with minimal index (thus F(x) = x^(m) iff m is the minimal natural number such that x ∼ x^(m)).」

君これが読めないの？なら中学英語からやり直し