Le concept a été utilisé à bon escient par Kurt Gödel pour la preuve de son théorème incomplet.
Cela lui a permis de montrer une correspondance entre les énoncés sur les nombres naturels et les énoncés sur la provabilité des théorèmes sur les nombres naturels, l'observation clé de la preuve.