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.
Selon le théorème fondamental de l'arithmétique, tout code obtenu de cette façon peut être uniquement pris en compte dans les facteurs principaux, de sorte qu'il est possible de récupérer la séquence originale.