>>252
WO={<=<∈R^2|>>246の論理式}
が空集合でないことはCで言える（Rのモデルを1つ決めてる）
WO自信を整列させてその最小元を<=<として使って>>242
>Vitali={x∈R|∀y∈R:x-y∈Q→x<=<y}
として定義する（Rと<=<のモデルをそれぞれ決めてる）
Rのルベーグ測度は確かRから定義できる（特定できる）んじゃなかったかな？特定できなくてもその満たすべき論理式はあるから
μ:P(R)→R
（定義域はP(R)全体じゃなくて可測集合全体）
をそのようなモノ全体を整列させて最小元とすればいい
「我々の知ってる可測集合」は全部定義域に入ってるし
Vitaliは入らない