>>510
数学としてはV=Lである必要もない

Lは構成可能集合と呼ばれるが、意味合いとしては論理式で定義可能な集合