Definition:Deductive Apparatus

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

A deductive apparatus for $\mathcal L$ consists of:


 * One or more axioms and/or axiom schemata;


 * Rules of inference for deriving theorems.

Also known as
A deductive apparatus may also be called a proof system.

Also see

 * Definition:Formal System