>だから出題が一回きりだとすると矛盾すると証明できるわけではないだろ？
　>矛盾しないんなら、数学として否定することはできない

出題が無限回である場合にその戦略が
通用するかどうかを議論することが不都合だというのなら
それが勝つ戦略ではないという主張も数学として否定することはできないということになるだろう