Гильберт известен как один из основоположников теории доказательств и математической логики, а также как один из первых, кто провел различие между математикой и метаматематикой.
Он был одним из основоположников теории доказательств и математической логики.