Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración.