>>39
>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)).」

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