After almost exactly a year (on 24 July 1929) he was examined on his thesis entitled Grundlagen der kombinatorischen Logik. Formally he was supervised by Hilbert, but in fact it was Bernays who provided day to day support for his work.
Pagkatapos ng halos eksakto ng isang taon (sa 24 Hulyo 1929) siya ay napagmasdan sa kanyang tesis may karapatan Grundlagen der kombinatorischen Logik. Pormal na siya ay supervised by Hilbert, ngunit sa katunayan, ito ay Bernays na ibinigay-araw-araw na suporta para sa kanyang trabaho.