Onvolledigheidsstellingen van Gödel
Uit Wikipedia, de vrije encyclopedia
De onvolledigheidsstellingen van Gödel zijn twee stellingen over de beperkingen van formele systemen, beide bewezen door Kurt Gödel in 1931. Door deze onvolledigheidsstellingen gaf Gödel het platonisme binnen de wiskunde een nieuw elan.