Στη θεωρία των τυπικών αριθμών, η αρίθμηση Gödel είναι μια συνάρτηση που αποδίδει σε κάθε σύμβολο και τύπο κάποιας τυπικής γλώσσας έναν μοναδικό φυσικό αριθμό που ονομάζεται αριθμός Gödel (GN). Η έννοια χρησιμοποιήθηκε για πρώτη φορά από τον Kurt Gödel για την απόδειξη του θεωρήματος της μη πληρότητας.
Μια αρίθμηση Gödel μπορεί να ερμηνευθεί ως μια κωδικοποίηση όπου ένας αριθμός αποδίδεται σε κάθε σύμβολο μιας μαθηματικής σημειογραφίας και μια ροή φυσικών αριθμών μπορεί στη συνέχεια να αναπαραστήσει κάποια μορφή ή συνάρτηση. Μια αρίθμηση του συνόλου των υπολογίσιμων συναρτήσεων μπορεί στη συνέχεια να αναπαρασταθεί από μια ροή αριθμών Gödel (που ονομάζονται επίσης αποτελεσματικοί αριθμοί). Το θεώρημα ισοδυναμίας του Rogers δηλώνει κριτήρια για το ποια από αυτές τις αριθμήσεις του συνόλου των υπολογίσιμων συναρτήσεων είναι αριθμήσεις Gödel.
