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