Godel's theorem : an incomplete guide to its use and abuse
Franzen goes on to discuss the relationship of incompleteness with the infinite, as well as complexity and randomness. He also looks at Gödel's second incompleteness theorem and questions of consistency. Sometimes it seemed that he was being too pedantic, but on reflection I felt that this was justified. The important distinction is between a consistent and a sound theory. Notably, you get a consistent theory if you append to Peano Arithmetic (PA) an axiom expressing the inconsistency of PA.
I felt that this book would be most suited to those readers who have read the usual popular accounts of Gödel's incompleteness theorem and want to get its ramifications clearer in their minds, as well as those wanting a deeper view of the subject without venturing into too much technicality.