(от лат. finitus - определенный - законченный),логико-математическая концепция, согласно которой в метатеории допускаютсялишь финитные (интуитивно ясные, бесспорные) средства рассуждений,проводимых в терминах обычного языка. См. также Формализм математический.






Ссылка на выделенный текст