What is the meaning of Formal_system?

The grouping of a formal language and a set of inference rules and/or axioms.

Source: wiktionary.org