Original: To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
Simplified: Proof To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.