About the meaning of the term ''apparatus'' in this particular context
An apparatus is a part of a Formal System.
A deductive system, also called a deductive apparatus or a logic, consists of the axioms (or axiom schemata) and rules of inference that can be used to derive theorems of the system.