negation completeness

Мат. отрицательная полнота