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.

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