Every set is constructible: V=L Strengthens ZFC by assuming a canonical universe. Implies: axiom of choice generalized continuum hypothesis