ПОЛНОТА ДЕДУКТИВНАЯ

свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек-рых фиксированных критериев (содержательных или формальных). В зависимости от характер