proof system

Meaning

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

Similar words

proof axiomatic system analysis theory natural deduction theorem formal system axiom system axiom prover