選択公理を使ってるので確率は計算できない。
時枝は尻尾同値類を使って確率を計算しようとしたが、同値類の中がいびつな集合だと気づかなかった