Логико-математическая концепция, согласно которой в метатеории допускаются лишь интуитивно ясные, бесспорные средства рассуждений, проводимых в терминах обычного языка. — 8 букв