An Introduction to Gödel's Theorem - SMITH, Peter (Cambridge Introductions to Philosophy, 2008)