The Art of the Infinite: The Pleasures of Mathematics

by Robert M. Kaplan

It was precisely Cantor’s daring diagonal which Kurt Gödel turned round to prove that there were more true propositions than proofs: that in any sufficiently rich formal system there would be statements which could neither be proved nor refuted.