 Once the absoluteness of L is established, it follows that ZF satisfies the axiom of constructibility if it is relativized to L; that is, ZF ⊢ (V=L)L. In particular, the axiom V = L is consistent if ZF is.