ルベーグ可測

到達不可能基数の存在を仮定すると、「すべての実数集合がルベーグ可測である」という命題LMはZFと矛盾しないことが示されている。1970年ソロベイ。そして、到達不可能基数の存在を否定すると前命題は示せない。シェラー。
であってるのかな。これの前半を、昔、某に言われてかっこいいなと思った。
(追記11/15:後半がちょっと違うらしいのでコメントを参照してください。)