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.
h -LRB- s _ 1 -RRB- times 22 ^ -LCB- -LRB- n-1 -RRB- -RCB- + h -LRB- s _ 2 -RRB- times 22 ^ -LCB- -LRB- n-2 -RRB- -RCB- + cdots + h -LRB- s _ -LCB- n-1 -RCB- -RRB- times 22 ^ 1 + h -LRB- s _ n -RRB- times