Gödel Numbering

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A coding (arithmetization) technique that assigns natural-number codes to syntactic objects (symbols, formulas, sequences, proofs) so that syntactic relations become expressible and manipulable arithmetically.