complete theory

1 definition found

complete theory - Free On-line Dictionary of Computing (26 May 2007) :

  complete theory
  
     <logic> An abstract logical theory in which all true
     statements have formal proofs within the theory.
  
     (1998-07-05)