Gödel numbering
= Gödel numbering
{c}
{wiki}
A Gödel numbering assigns <natural number>[natural numbers] effectively to symbols, formulas, and finite proofs. Syntactic predicates such as “$p$ codes a proof in $T$ of the formula with code $q$” can then be represented by arithmetical formulas.