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