I recall that GEB gives an informal proof that systems that can formalize arithmetic are incomplete. But a standard textbook would certainly give a terser and more rigorous proof.