>>54
> 今までずっと選択公理を採用していないし
採用してるよ。代表元を扱っているんだから。
議論しているのは選択公理を使った戦略の論理が正しいかどうかなんだから、
選択公理を使わなかったら議論にならんでしょう。