En logique mathématique, la numérotation de Gödel est une fonction qui attribue à chaque symbole et à la formule bien formée d'un langage formel un numéro naturel unique, appelé son numéro de Gödel.
Débat