Thus, in a formal theory such as Peano arithmetic in which one can make statements about numbers and their arithmetical relationships to each other, one can use a Gödel numbering to indirectly make statements about the theory itself.
Έτσι, σε μια τυπική θεωρία, όπως η αριθμητική Peano, στην οποία μπορεί κανείς να κάνει δηλώσεις σχετικά με τους αριθμούς και τις αριθμητικές σχέσεις μεταξύ τους, μπορεί κανείς να χρησιμοποιήσει την Γκέντελοποίηση για να κάνει έμμεσα δηλώσεις για την ίδια τη θεωρία.