Programma van Hilbert
In de wiskunde was het programma van Hilbert, opgesteld door de Duitse wiskundige David Hilbert in de jaren 1920, een voorgestelde oplossing voor de grondslagencrisis in de wiskunde, toen eerdere pogingen om de grondslagen van de wiskunde te verhelderen bleken te lijden onder paradoxen en tegenstrijdigheden.

Als oplossing stelde Hilbert voor om alle bestaande theorieën op een eindige, complete verzameling van axioma's te grondvesten, en daarnaast een bewijs te leveren dat deze axioma's consistent waren. Hilbert stelde voor dat de consistentie van meer gecompliceerde systemen, zoals de reële analyse, zou kunnen worden bewezen in termen van eenvoudigere systemen. Uiteindelijk zou de vraag over de consistentie van de gehele wiskunde op deze wijze kunnen worden gereduceerd tot een vraag over de consistentie van de elementaire rekenkunde. 

De onvolledigheidsstellingen van Gödel toonden in 1931 echter aan dat het programma van Hilbert niet haalbaar was. In zijn eerste stelling toonde Kurt Gödel aan dat elk consistent systeem met een berekenbare verzameling, die in staat is om de rekenkunde uit te drukken nooit compleet kan zijn: het is mogelijk een uiting te construeren, waarvan men kan aantonen dat deze waar is, maar die niet kan worden afgeleid uit de formele regels van het systeem. In zijn tweede stelling toonde hij aan dat een dergelijk systeem niet zijn eigen consistentie kon bewijzen, zodat het zeker niet zou kunnen worden gebruikt om de consistentie van een ingewikkelder systeem te bewijzen. Dit weerlegde Hilberts veronderstelling dat een finitistisch systeem kon worden gebruikt om de consistentie van een ingewikkeldere theorie te bewijzen.

Referenties
 , 1936/1969. Die Widerspruchfreiheit der reinen Zahlentheorie. (De consistentie van de zuivere getaltheorie) Mathematische Annalen 112:493–565. Vertaald in het Engels als 'The consistency of arithmetic', in de The collected papers of Gerhard Gentzen (De verzamelde artikelen van Gerhard Gentzen, M. E. Szabo (ed.), 1969.
 . 'Die Grundlagen Der Elementaren Zahlentheorie' (De grondslagen van de elementaire getaltheorie). Mathematische Annalen 104:485-94. In het Engels vertaald door W. Ewald als 'The Grounding of Elementary Number Theory', pp. 266-273 in Mancosu (ed., 1998) From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920’s (Van Brouwer tot Hilbert: het over de grondslagen van de wiskunde in de jaren twintig van de twintigste eenuw, Oxford University Press. New York.
 , 1988. Partial realizations of Hilbert's program.  Journal of Symbolic Logic 53:349-363.
 , 2005.  Hilbert's Program Then and Now (Het programma van Hilbert - toen en nu). Manuscript, arXiv:math/0508572v1.

Externe link
 Programma van Hilbert in de Stanford Encyclopedie van de Filosofie.

Logica
Filosofie van de wiskunde