Формализм (математика)

Формализм — направление в математике, пытающееся получить решение проблем основания математики при помощи формально-аксиоматических построений. Формализм возник в начале XX века (нем. математик Гильберт и его сотрудники Вильгельм Аккерман, П. Бернайс, Дж. Нейман). Выход из кризиса оснований математики Гильберт, в противоположность интуиционизму, ищет в строго разработанном формализованном аксиоматическом методе.