Se doctoró en 1925 con su tesis "Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit", que fue una prueba de consistencia de la aritmética sin inducción.