ZFCでは選択関数が非構成的で存在しか言えないから非可測集合もやはり存在しか言えないが、
ZFC+(V=L)ではすべての集合（集合としての選択関数も含め）が構成可能だから、明確に定義できるにもかかわらず非可測な集合が普通に存在するという直観に反する世界となる。