"Axiom of Constructibility" . . "Axiom of constructibility#Statements true in L" . . . . . . "axiom of constructibility" . "V=L" . "V = L" . . . "Axiom of constructibility" . . . "every set is constructible" . . "''V = L''" . "Axiom of constructibility" . . "Axiom of Constructibility (V=L)" .