complete theory

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

Last updated: 1998-07-05


Loading