formal system
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences The grouping of a formal language and a set of inference rules and/or axioms.
- Synonyms
- logical system, logical calculus, logic
- Meronyms
- formal language, axiom, inference rule, theory, syntax, semantics