La existencia de diferentes modelos posibles para los axiomas de Zermelo-Fraenkel (ZFC) ha permitido establecer la independencia del axioma de elección y de la hipótesis del continuo de otros axiomas de la teoría de conjuntos (los principales resultados se deben a Paul Cohen (1963) y Kurt Gödel (1938).