Input (grade 12): To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
Output (grade 12): Proof To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.