Maths›03. Logic and Foundations14.1 Arithmetization of SyntaxEncoding symbols, formulas, and proofs as natural numbers to allow arithmetic to reason about its own syntax.