complete theory
<logic> An abstract logical theory in which all true statements have
formal proofs within the theory.
(1998-07-05)
Nearby terms:
complete metric space « completeness « complete
partial ordering « complete theory » complete
unification » Complex Instruction Set Computer »
complexity
|