Formal System

A precisely specified tuple consisting of a formal language (symbols and formation rules), a set of axioms or axiom schemas, and inference rules that determine how formulas may be derived; used to generate and manipulate formal expressions independent of any intended interpretation.