Definition:Proof System

Definition
Let $\mathcal L$ be a formal language.

A proof system for $\mathcal L$ comprises:


 * Axioms and/or axiom schemata;
 * Rules of inference for deriving theorems.

It is usual that a proof system does this by declaring certain arguments concerning $\mathcal L$ to be valid.

Informally, a proof system amounts to a precise account of what constitutes a (formal) proof.

Also see

 * Definition:Deductive Apparatus
 * Definition:Formal System


 * Definition:Formal Semantics