Statements true in L

  1. REDIRECT Axiom of constructibility#Statements true in L {{R from merge}} {{R to section}}