formal system
noun
°The grouping of a formal language and a set of inference rules and/or axioms.
synonyms: logical system, logical calculus, logic