V=L
Redirect to:
Axiom of constructibility