Durante ese tiempo, se dedicó a probar la consistencia del axioma de elección y a la hipótesis del continuo, trabajo que continuó hasta mostrar que estas hipótesis no pueden refutarse desde el sistema común de axiomas de la teoría de conjuntos.