>>854
まあ、新人ROMさんには、経緯が分らないだろうから、説明すると
Hart氏のPDFは、下記でわずか２ページで、game2はP2の後半に出てくる（下記の通り）
（なお、時枝記事は>>21ご参照）
スレ61 https://rio2016.5ch.net/test/read.cgi/math/1550409146/64
(抜粋)
時枝と選択公理の関係で、Sergiu Hart氏のPDFに下記がありましたね（＾＾
これを認めるなら、選択公理なしで、時枝類似の数当ては成立つ

この議論は、過去なんども同じ経緯を辿って
あげく、Sergiu Hart氏のgame2: を指摘すると、しっぽを撒いて逃げ行く

その繰り返しです（＾＾

スレ44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/463 より
Sergiu Hart氏のPDF http://www.ma.huji.ac.il/hart/puzzle/choice.pdf

Sergiu Hart氏は、ここに
A similar result, but now without using the Axiom of Choice.^2
Consider the following two-person game game2:
^2 Due to Phil Reny.（＝Phil Reny氏より）

として、”without using the Axiom of Choice” ”game2”を提案しているよ
(引用終り)

因みに、game1 は、その前のページで、２箇所に出てくる
Consider the following two-person game game1:
Theorem 1 For every ε > 0 Player 2 has a mixed strategy in game1 guaran-
teeing him a win with probability at least 1 − ε.
Remark. The proof uses the Axiom of Choice.

Apply the Axiom of Choice to choose an element in each
equivalence class; let F(x) denote the chosen element in the equivalence class
of x (thus F : X → X satisfies x 〜 x' iff F(x) = F(x')).
(引用終り)

なお、このPDFの表題が、”Choice Games”となっているのは、”The proof uses the Axiom of Choice”に由来しているのだろう

つづく