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 orderingcomplete theorycomplete unification

Try this search on Wikipedia, OneLook, Google


Loading