>>240
直感に反しないけど？
V=Lを仮定しなくても
Cがあれば実数を整列させられるから
その整列順序でR/Qの元を1つずつ選んだ全体として
ヴィタリ集合は構成可能じゃない？
<=<をイコール含んだ整列順序だとして
Vitali={x∈R|∀y∈R:x-y∈Q→x<=<y}
って感じ