A Gödel numbering is not unique, in that for any proof using Gödel numbers, there are infinitely many ways in which these numbers could be defined.
Η αρίθμηση του Γκέντελ δεν είναι μοναδική, δεδομένου ότι για κάθε απόδειξη χρησιμοποιώντας τους αριθμούς Gödel, υπάρχουν απείρως πολλοί τρόποι με τους οποίους θα μπορούσαν να καθοριστούν αυτοί οι αριθμοί.