Il est également connu comme l'un des fondateurs de la théorie de la preuve, de la logique mathématique et de 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.