Boolos, George Stephen. <i>A Simple Proof of Gödel's First Incompleteness Theorem.</i> Princeton, NJ: Department of Mathematics, 1961.