Теория доказательств и математика: Аристотель vs Гильберт

На основе анализа различных концепций теории доказательств (такие как концепция Аристотеля и теория Гильберта) мы рассмотрим следующие вопросы: в чем состоит современная математическая теория доказательства и как взаимосвязаны между собой математика и теория доказательств.