Definition:Deductive Apparatus

Definition
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.