How do I best learn Gödel's incompleteness theorem? I'm a math beginner. I am a self-learner. A while ago, I finished reading “How to Prove It: A Structured Approach, 2nd Edition” by Daniel J. Velleman. Now, I want to learn Gödel's incompleteness theorem to avoid making the same mistakes made in the past by others. Where do I find the best learning material for Gödel's incompleteness theorem?

You can see Gödel's Incompleteness Theorems.

Two good books are :

* Torkel Franzén, Gödel's theorem : An incomplete guide to its use and abuse (2005)

* Peter Smith, An Introduction to Gödel's Theorems (2nd ed - 2013).




And you can see also this post for other references.