 A "formal system" (also called a "logical calculus", or a "logical system") consists of a formal language together with a deductive apparatus (also called a "deductive system").The deductive apparatus may consist of a set of transformation rules (also called "inference rules") or a set of axioms, or have both.A formal system is used to derive one expression from one or more other expressions.