>>719
> 結局、手順が異なると 異なる確率計算結果になるのは、
> 決定番号を使う確率計算というものはwell-defined でないってことだ
　決定番号を排除＝尻尾同値類の代表を排除＝選択公理を否定　それしかないけど？