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.