What should I read to understand Godel's incompleteness theorems?
I own the dover book "On Formally Undecidable Propositions Of Principia Mathematica And Related Systems".
But it seems to rely on lots of information that I don't know.
What are the pre-requisites beyond A level mathematics for understanding the book?