Definition, synonyms and related words
The grouping of a formal language and a set of inference rules and/or axioms.