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