Логико-математическая концепция, согласно которой в метатеории допускаются лишь интуитивно ясные