ZFCに公理として追加するなら
V=L
だね
大変分かりやすい世界が広がる
ちょうど所謂ユークリッド幾何のようなものか
非ユークリッド幾何よろしく
V≠L
で考えるのも自由だが
V=L
をオーソドクスにすべきでないか