formal system noun1 •The grouping of a formal language and a set of inference rules and/or axioms. formsformal systems
