Proof-system Definition
noun
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Wiktionary
Other Word Forms of Proof-system
Noun
Singular:
proof-system
Plural:
proof systems
Find Similar Words
Find similar words to proof-system using the buttons below.