Повнота й неповнота

у логіці – властивість певної аксіоматичної системи, що характеризує достатність (повнота) чи недостатність (неповнота) її дедуктивних засобів