proof system
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.