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.
Dans la théorie formelle du nombre, la numérotation de Gödel est une fonction qui attribue à chaque symbole et formule d'une langue formelle un numéro naturel unique appelé le numéro de Gödel -LRB- GN -RRB-.