ПОЛНОТА СИСТЕМЫ АКСИОМ

характеристика этой системы. Система называется дедуктивно полной, если всякое утверждение, формулируемое в данной теории, может быть либо доказано, либо опровергнуто. Система называется полной