proof system

短语

[计] 证明系统

词形变化

proof systems 复数 proof systems

释义与例句

n.
  1. 1.

    A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

    数学 哲学