V=L
Home
Wiki
Redirect to:
Axiom of constructibility