Topic summary
Deductive system
Extracted from the Wikipedia article Formal system.
Deductive system
A deductive system, also called a deductive apparatus, consists of the axioms (or axiom schemata) and rules of inference that can be used to derivetheorems of the system.