Original: The concept was famously used by Kurt Gödel for the proof of his incompleteness theorem.
Simplified: This Gödel numbering is not unique.