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