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