>>898
その通り。
証明の中で定義された戦略が、問題文の中の「勝つ戦略」と符号するかは数学ではなく国語の問題。
証明の中で使われている実数列が、問題文の中の「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる」と符号するかは数学ではなく国語の問題であるのと同じ。
読者が国語問題として納得するかだけのこと。納得しないならどう納得しないか言えばいいだけ。
どうぞ。