Le programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques.