>>603
＞別に第三者が人格を持っている必要はない

やっぱり変更じゃん
君が使っている「第三者」という言葉は、少なくとも

「無数にある f の中から1つ f を決めることができる」

という作用を持っている。しかし、選択公理にはそのような作用はない
つまり、「選択公理」と「第三者」は君の中で違う概念になっているから変更である

じゃあ、なぜ変更したのか？
自分がヘンな読み違いをしていた事実を認めたくないから、

「代表元を決めるのはプレイヤーでもディーラーでもない」

という立場を貫くために、

「代表元を決めるのは第三者だ」

という新しい詭弁を持ち出したのでしょう。バカだね