Kurt Godel presented his Completeness Theorem to the annual meeting of the Deutsche Mathematiker-Vereinigung on September 6 1930. Godel proved this theorem for his doctoral dissertation under the direction of Hans Hahn in 1929. He would prove his Incompleteness Theorem one year later.
Completeness Theorem presented
