Hilbert est connu comme l'un des fondateurs de la théorie de la preuve et de la logique mathématique, ainsi que comme l'un des premiers à faire la distinction entre les mathématiques et les métamathématiques.
Il a été l'un des fondateurs de la théorie de la preuve et de la logique mathématique.