1. complete theory An abstract logical theory in which all true statements have formal proofs within the theory.
complete theory |