Одно из направлений в основаниях математики, полагающее, что каждый раздел математики может и должен быть подвергнут полной формализации, т. е. излагаться в виде исчислений. Гарантией правомерности существования в изучении какого-либо раздела математики считалась не интерпретация его в терминах внешней действительности, а лишь собственно его непротиворечивость. – Примеч. ред.
