complete theory

<logic> An abstract logical theory in which all true statements have formal proofs within the theory.

Last updated: 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

Loading