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

proof theory
     
         The branch of {logic} describing procedures for
        combining logical statements to show, by a series of
        truth-preserving transformations, that one statement is a
        consequence of some other statement or group of statements.
     
        (1994-10-31)