En 1929, a los 23 años, completó su disertación bajo la supervisión de Hans Hahn, en la cual Gödel estableció la completud del cálculo de predicados de primer orden (este resultado se conoce ahora como el teorema de completitud de Gödel).