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





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