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