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