formal system
Noun

formal system (plural formal systems)

  1. (logic) The grouping of a formal language and a set of inference rules and/or axioms.
Synonyms Translations
  • German: formales System
  • Russian: формальная систе́ма



This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.018
Offline English dictionary