- 617 名前：１３２人目の素数さん mailto:sage [2019/01/23(水) 12:39:23.61 ID:69vKfGyL.net]
- >>576
＞無駄な設定と感じます。
ディーラー側にとっては、>>562の
＞ディーラーは(π,π,π,…)の同値類だけを考えて、
＞その同値類から代表元を1つ決めておくだけでよいから。
というメリットがある
つまり、ディーラー側には選択公理が必要ないというメリットがある
あと、>>570も理由の1つ。
ちなみに、プレイヤー側が確率を計算するときには、
「任意の実数列に対する決定番号」が確率計算の根拠になっているので、
どのみちプレイヤー側には選択公理が(論理的な根拠のために)必要になるはず
