Le concept a été utilisé à bon escient par Kurt Gödel pour la preuve de son théorème incomplet.
En outre, la numérotation de Gödel implique que chaque règle d'inférence du système formel peut être exprimée en fonction des nombres naturels.