English Dictionary

proof system

名詞

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

日本語の意味

論理学において、公理の集合と推論規則の集合を用いて自明な命題を導出し、その証明を構築するための体系。

The researchers evaluated the completeness of the proof system by demonstrating that every valid formula could be derived from its axioms and inference rules.

研究者たちは、その証明体系の完全性を、すべての有効な式が公理と推論規則から導けることを示して実証した。

意味（1）

(logic) 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 ）