n. (Logic) the set of rules that specify in purely syntactic terms the methods by which theorems may be derived from the axioms of a formal system; its rules of inference.