Rápido retomó'l so trabayu en matemátiques y en 1940 publicó la so obra Consistencia del axoma d'elección y de la hipótesis del continuu xeneralizada colos axomes de la teoría de conxuntos, que constitúi un clásicu de la matemática moderna.