в логике и математике - достаточность выразительных или дедуктивных средств какой-либо научной теории или исчисления для описания (характеристики, предсказания, вывода) всех реальных свойств и отношений предполагаемой модели этой теории или исчисления.