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