Complete theory
<logic> An abstract logical theory in which all true statements have formal proofs within the theory.
| < Previous Terms | Terms Containing complete theory | Next Terms > |
| complete inference system complete lattice complete metric space completeness complete partial ordering | complete | complete unification Complex Instruction Set Computer complexity complexity analysis complexity class |
