# Good source to study Godel incompleteness theorem.

I'm really interested in Godel's incompleteness theorem, yet, I know very little about logic.

I recently started reading an online pdf that supposedly had a complete proof, but when I asked in MathStackExchange about sentences I couldn't understand in the text, the repliers told me that the document was rather "confusing and misleading".

So I was wondering, does someone know of a book/document/blog that while providing a complete proof of the theorem, also explains each step in a way that someone without much experience about logic could understand?

I would really appreciate any help/thoughts.

• – DanielV Aug 25 '17 at 0:05

If Smith's book seems a bit daunting for now, I recommend the text Computability and logic by Boolos, Burgess, and Jeffrey. I absolutely adore this book; it was the first logic text I read, and it was what got me hooked. As the title indicates, this isn't just about Godel's incompleteness theorems, and so you can ignore most of it for now (but seriously the whole thing is excellent - do read it sometime!) Specifically, chapters $9,10,14,15,16,17$ give an entirely self-contained path to the first incompleteness theorem in about $80$ pages; chapter $18$ then covers the second incompleteness theorem in about $10$ more pages.