>>450
コメントありがとうございます。
2点レスします。

---
[1]
『実際的』『構成的』を要件にする場合、貴方の見解に異論はありません。

これについて、下記のページを紹介しておきたい。
https://cornellmath.wordpress.com/2007/09/13/the-axiom-of-choice-is-wrong/

ここではinfinite hat problemについて議論を交わしているが、
この中で下記Charles Siegel氏のコメントから始まる一連の議論がある。
Charles Says:
September 13, 2007 at 3:23 pm | Reply

要約すれば（意訳を含むので実際に原文を読んでほしいが）、
infnite hat problemが『実際に』成立するためには、
無限の人間が無限の記憶力を持ち、
無限の計算量を有限時間で行う能力をもつ、
ことを仮定する必要がある。
そのようなことはもちろん『実際には』不可能である。
---
私はこの問題が『実際に行えるかどうか』を争うつもりはない。
『infinite hat problemが成立する』という数学的事実を認めた場合、
そしてもちろん上記事実を導く数学的仮定を認めた場合、
時枝の戦略は成立すると貴方は考えている、と読みました。
私が誤解していたら訂正してください。

（次レスに続く）