complete theorycomputing dictionary

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

(01 Apr 1998)