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.
rm -LCB- enc -RCB- -LRB- x _ 1 x _ 2 x _ 3... x _ n -RRB- = 2 ^ -LCB- x _ 1 -RCB- cdot 3 ^ -LCB- x _ 2 -RCB- cdot 5 ^ -LCB- x _ 3 -RCB- cdot... cdot -LCB- p _ n -RCB- ^ -LCB- x _ n -RCB-