Le concept a été utilisé à bon escient par Kurt Gödel pour la preuve de son théorème incomplet.
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-.