An Introduction to Godel's Theorems (Second Edition) [pdf]
If you&#x27;re uninitiated and simply want to grok where true-but-unprovable comes from, I recommend: <a href="https:&#x2F;&#x2F;www.quantamagazine.org&#x2F;how-godels-incompleteness-theorems-work-20200714&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.quantamagazine.org&#x2F;how-godels-incompleteness-the...</a><p>Wolchover is masterful here. The layers of abstraction keep piling up, and I had to read the last part more than a couple of times to really get it, but then you have it.