Финитизм (Кузнецов)
ФИНИТИЗМ — методологическая установка в математике, направленная на устранение из доказательных рассуждений принципов, основанных на допущении актуальной бесконечности. В современной математике Ф. проявляется в двух основных формах: как система требований к метатеории, призванная гарантировать надежность последней, и как особое направление математических исследований, задача которого — редукция математических теорий, основанных на трансфинитных рассуждениях, к конечным основаниям и процедурам. Требование финитности доказательства является одним из ограничений, сформулированных Д.