formal system
Noun
Meaning
formal system (plural formal systems)
(logic) The grouping of a formal language and a set of inference rules and/or axioms.
Noun
formal system (plural formal systems)
(logic) The grouping of a formal language and a set of inference rules and/or axioms.