structural:scholar_edition, quality:corruption
Studies in Vienna

At the age of 18, Gödel joined his brother at the University of Vienna. He had already mastered university-level mathematics. Although initially intending to study theoretical physics, he also attended courses on mathematics and philosophy. During this time, he adopted ideas of mathematical realism. He read Kant 's Metaphysische Anfangsgründe der Naturwissenschaft, and participated in the Vienna Circle with Moritz Schlick, Hans Hahn, and Rudolf Carnap. Gödel then studied number theory, but when he took part in a seminar run by Moritz Schlick which studied Bertrand Russell 's book Introduction to Mathematical Philosophy, he became interested in mathematical logic. According to Gödel, mathematical logic was "a science prior to all others, which contains the ideas and principles underlying all sciences."

Attending a lecture by David Hilbert in Bologna on completeness and consistency in mathematical systems may have set Gödel's life course. In 1928, Hilbert and Wilhelm Ackermann published Grundzüge der theoretischen Logik (Principles of Mathematical Logic), an introduction to first-order logic in which the problem of completeness was posed: "Are the axioms of a formal system sufficient to derive every statement that is true in all models of the system?"

This problem became the topic that Gödel chose for his doctoral work. In 1929, aged 23, he completed his doctoral dissertation under Hans Hahn's supervision. In it, he established his eponymous completeness theorem regarding first-order logic. He was awarded his doctorate in 1930, and his thesis (accompanied by additional work) was published by the Vienna Academy of Science.