>>562
> Solovay model(ZFCで選択公理を弱い従属選択公理DCに換えたモデル:非可測集合が存在しない)
 つまり、Solovay modelではVitali setは集合ではない
 これ分かる?