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

complete inference system
     
         An {inference} system A is complete with respect to
        another system B if A can reach every conclusion which is true
        in B.  The dual to completeness is {soundness}.
     
        (1998-07-05)