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