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