Une numérotation de Gödel peut être interprétée comme un encodage dans lequel un nombre est attribué à chaque symbole d'une notation mathématique, après quoi une séquence de nombres naturels peut représenter une séquence de chaînes.
Une numérotation de Gödel peut être interprétée comme un encodage où un nombre est attribué à chaque symbole d'une notation mathématique, et un flux de chiffres naturels peut alors représenter une forme ou une fonction.