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.