If you want to get to the meat of the issue, without the extraneous stuff, you might also tackle: Godel's Theorem Simplified.
https://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensl...