Rápidamente retomó su trabajo en matemáticas y en 1940 publicó su obra "Consistencia del axioma de elección y de la hipótesis del continuo generalizada con los axiomas de la teoría de conjuntos", que constituye un clásico de la matemática moderna.