A proof system or proof calculus is a kind of formal system to prove statements.
A proof system consists of the following components:
- formal language: for example, propositional logic and first-order logic.
- axiom schemas: fundamental statements or rules accepted as true without proof within the system
- inference rules: logical rules that allow the derivation of new statements from existing ones
Example of Proof Systems
See Also
- soundess and completeness