He made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories.
Siya na ginawa ng isang malaking kontribusyon sa pag-aaral ng pundasyon ng matematika, sa partikular na ang pag-aaral ng undecidable theories.