>>97
>しかし、箱入り無数目は、有限か無限かの区別からさらに踏み込んで、
>effective＝確率測度評価が要求される
>effective＝確率測度評価は、よく知られているように、
>選択公理には得意ではない
>というか、選択公理だけでは測度は与えられないし、
>逆に非可測集合を作ったりするので、測度には良い影響を与えない
effectiveってそういう意味じゃないよ
手続きが構成的、という意味

別に箱入り無数目で代表選択の手続きが
effectiveである必要はないけどな

あと、双曲幾何ではeffectiveに
バナッハ＝タルスキの非可測集合
が構成できる

だからeffectiveだから可測とかいうのは
君の誤解だな