Constructible universe theorem
ID: constructible-universe-theorem
ZFC proves that the constructible universe is an inner model of ZFC and satisfies the Generalized continuum hypothesis. Relativizing to yields the corresponding relative-consistency implication.
New to topics? Read the docs here!