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

• logical system
• logical calculus
• logic

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.003