complete theory
<logic>
An abstract logical theory in which all true statements have formal proofs within the theory.
Last updated: 1998-07-05
Nearby terms:
complete partial ordering ♦ complete theory ♦ complete unification
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
