Логический и математический вывод: синтаксис и семантика доказательства

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

Ключевые слова: семантика, онтология математической теории, эпистемология математического доказательства.