deductive completeness

Мат. дедуктивная полнота