|
Definition of Formal system
1. Noun. (logic) The grouping of a formal language and a set of inference rules and/or axioms. ¹
¹ Source: wiktionary.com
|
1. Noun. (logic) The grouping of a formal language and a set of inference rules and/or axioms. ¹
¹ Source: wiktionary.com