|
|
Definition of Proof system
1. Noun. (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Proof System
Other Resources:
