proof system

名词 n.
中文释义

英文释义

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

词形变化

proof systems plural
0 次浏览 数据来源: Wiktionary