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