>>3 訂正
>ソロベイの定理（下記 wikipedia ご参照）から、ヴィタリのような非可測は否定される

ソロベイの定理
　↓
ソロヴェイの定理

wikipediaの引用が抜けていたので、追加します

https://ja.wikipedia.org/wiki/%E3%82%BD%E3%83%AD%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A2%E3%83%87%E3%83%AB
ソロヴェイモデル
ソロヴェイモデルはロバート M. ソロヴェイ (1970)によって構成されたモデルでツェルメロ＝フレンケル集合論 (ZF) の全ての公理が成り立ち、選択公理を除去し、実数の集合が全てルベーグ可測であるようにしたものである。この構成は到達不能基数の存在に依拠している。
これによってソロヴェイはルベーグ不可測集合の存在をZFC (ZF+選択公理) から証明するには、少なくとも到達不能基数の存在がZFCと矛盾しない限り、選択公理が本質的に必要であることを示した。
ステートメント
DC は従属選択公理の略記とする。
ソロヴェイの定理は次のことである。 到達不能基数の存在を仮定する。このとき、適切な強制拡大 V[G] の ZF+DC の内部モデルであって、実数のいかなる集合も全て、ルベーグ可測であって perfect set property を満たしベールの性質を満たすというモデルがある。
構成
ソロヴェイはそのモデルを二つのステップによって構成した。まず初めに、到達不能基数 κ を含む ZFC のモデル M から始める。
最初のステップでは M のレヴィ崩壊 M[G] を取る。
略
(引用終り)