proof system (English, noun)
expansion: proof system (plural proof systems)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Forms:
form: proof systems
tags: plural