Original: Gödel 's Proof by Ernest Nagel and James R. Newman ( 1959 ) .
Simplified: Gödel 's Proof by Ernest Nagel and James R. Newman .