Jump to navigation Jump to search
A proof system $\mathscr P$ for $\mathcal L$ comprises:
- Axioms and/or axiom schemata;
- Rules of inference for deriving theorems.
Informally, a proof system amounts to a precise account of what constitutes a (formal) proof.
Pages in category "Definitions/Proof Systems"
The following 6 pages are in this category, out of 6 total.