Une fois établie la numérotation de Gödel pour une théorie formelle, chaque règle d'inférence de la théorie peut être exprimée comme une fonction sur les nombres naturels.
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.