Gödelnummer
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.
Q1166618
wiskundige logica
Concept
Q21199
natuurlijk getal
Concept
Q192161
formele taal
Concept
Q41390
Kurt Gödel
PER
Q200787
Onvolledigheidsstelling van Gödel
EVE
Q1451046
Gödelnummer
Concept
part of
named after
notable work
named after