Финитизм (НФЭ, 2010)
ФИНИТИЗМ – идущая от Д. Гильберта методологическая установка на сильные требования к осмысленности и к надежности математических суждений и рассуждений. В соответствии с этой установкой надежные рассуждения удовлетворяют следующим условиям (Ж. Эрбран):
1) всегда рассматривается лишь конечное и определенное число конкретно воспринимаемых предметов и функций;
2) функции эти точно определены, причем определение позволяет произвести однозначное вычисление их значений;