Status Updates From Gödel Without (Too Many) Tears

This book was an enlightening insight into Gödel’s proofs

Showing a p.r. Language is w-inconsistent & w-incomplete via Gödel numbering and the diagonalization argument

So far so interesting. Peter Smith does a great job of building up the necessary logical context required to support Godels original argument. It is a quite high level overview, only stopping to dip down into the depths here and there, but as a primer/introduction it is a fantastic spring board into the world of formal logic