complete theory


complete theory

(logic)An abstract logical theory in which all truestatements have formal proofs within the theory.