Definition:Deductive Apparatus

Let $$\mathcal{F}$$ be a formal system.

The deductive apparatus of $$\mathcal{F}$$ consists of:


 * One or more axioms and/or axiom schemata;


 * Rules of inference for deriving theorems of the formal system.