资料来源 : Free On-Line Dictionary of Computing

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