Gödelnummer
Uit Wikipedia, de vrije encyclopedia
In de wiskundige logica is een Gödelnummer een uniek natuurlijk getal dat wordt toegewezen aan elk symbool of elke formule binnen een formele taal.
Dit concept werd voor het eerst door Kurt Gödel gebruikt in het bewijs van zijn Onvolledigheidsstelling van Gödel.