MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Where could I find a detailed exposition in English of Godel's proof (not Henkin's) of Completeness Theorem for first order logic? The wikipedia article omits certain details that I am not clear about, and Godel's original dissertation is not in English.

share|cite|improve this question
If you are interested in a text book treatment which leads you from the basics to a proof of Gödel's theorem, then I can highly recommend "Mathematical Logic" by Shoenfield which was (is ?) the standard graduate text on the subject of its title. – oeiras Mar 10 at 17:36
@oeiras: The proof of completeness given by Shoenfield is the one due to Henkin, which is not what the questioner wants. – Philip Ehrlich Mar 14 at 0:23
up vote 11 down vote accepted

In addition to an English translation of the original version contained in the Collected Works referred to by Andrés, there is an English translation of a rewritten version of the paper contained in From Frege to Gödel edited by Jean van Heijenoort. The latter is also contained in the Collected Works.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.