上のレスのアンカーは>>278>>280の間違い

>>283
具体的に構成したり定義したり出来るような対象は
必ずLに含まれるので、V=Lとその否定のどちらが正しそうかと
集合論の知識の無い非専門家の数学者に聞くと、
V=Lが成り立つ方が尤もらしいと答える人が多い。

V=Lの無矛盾性は、実際にLの要素の集まりを考えて
それがZF+V=Lのモデルになっていることを示すだけで良いけど、
その否定の無矛盾性はその種のVを削るような方法では示せず、
モデルを拡大する操作が必要になる。