Gödel mostró que tanto el axioma de elección (AC) y la hipótesis del continuo generalizada (HCG) son verdaderas en el universo construible y por lo tanto deben de ser consistentes con los axiomas de Zermelo-Fraenkel para la teoría de conjuntos (ZF).