Compte tenu d'une séquence x _ 1 x _ 2 x _ 3... x _ n d'entiers positifs, l'encodage Gödel de la séquence est le produit des n premiers nombres premiers élevés à leurs valeurs correspondantes dans la séquence :
Compte tenu d'une séquence x _ 1 x _ 2 x _ 3... x _ n d'entiers positifs, l'encodage de Gödel est le produit des premiers n nombres entiers élevés à leurs valeurs correspondantes dans la séquence :