Numeración de Gödel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una técnica de codificación (aritmetización) que asigna códigos numéricos naturales a objetos sintácticos (símbolos, fórmulas, secuencias, pruebas) de modo que las relaciones sintácticas resulten expresables y manipulables aritméticamente.