19/01/23 15:09:00.97 69vKfGyL.net
つまり、「ディーラーが代表元を決める」とは、
「無数にあるfの中からディーラーが1つfを決める」という意味だし、
「プレイヤーが代表元を決める」とは
「無数にあるfの中からプレイヤーが1つfを決める」という意味だし、
こっちもID:gGVi6hFsもその意味において「〇〇が代表元を決める」
という言葉遣いをしているし、それできちんと意思の疎通ができて
話の決着がついている(>>577)わけで、そこに
「代表元を決めるのは選択公理であってプレイヤーでもディーラーでもない」
とかいう機械的な翻訳をしてあさっての方向に思考がすっ飛んで
わけのわからないイチャモンをつけているのがID:JF7m6dzyということだよ