ああそうか
R自体が構成可能と言えないからか
Rが満たすべき論理式はあるけれど
「我々の知ってるR」を特定する論理式がない
でも
「我々の知ってるR」はそのようなモノのうちの1つで十分なのでは？
その上にルベーグ測度が満たすべき論理式もあって
ルベーグ非可測集合が満たすべき論理式もあるよね
何か1つRのモデルと整列順序のモデルルベーグ測度のモデルを決めたら
Vitaliは構成可能なのではないかな