onvolledigheidsstelling van Gödel
stelling uit de wiskunde, in 1931 geformuleerd door K.Gödel, die inhoudt dat een logisch systeem van axioma’s en afleidingen dat vrij van tegenspraken is en waarmee de rekenkunde van de natuurlijke getallen beschreven kan worden, altijd onvolledig is. Er is m.n. steeds een bewering te bedenken, waarvan de juistheid noch de juistheid van...