complete theory
<logic> An abstract logical theory in which all true
statements have formal proofs within the theory.
[FOLDOC]
<2001-03-16>
Try this search on OneLook / Google
Nearby terms:
complete metric space « completeness « complete partial ordering « complete theory » complexity » complexity class » complexity measure