Meanings
nounformal system (plural formal systems)
plural formal systems
- human sciencesThe grouping of a formal language and a set of inference rules and/or axioms.
Synonyms: logical system, logical calculus, logic
Synonyms & antonyms
nounThe grouping of a formal language and a set of inference rules and/or axioms.
Also see
Translations
Dutch formeel systeem
- formeel systeemcombination of formal language and inference rules
German formales System
- formales Systemcombination of formal language and inference rules
Greek τυπικό σύστημα
- τυπικό σύστημα (typikó sýstima)combination of formal language and inference rules
Japanese 形式的体系, 形式体系
- 形式的体系 (keishiki-teki-taikei)combination of formal language and inference rules
- 形式体系 (keishiki-taikei)combination of formal language and inference rules
Persian سیستم صوری
- سیستم صوریcombination of formal language and inference rules
Polish system formalny
- system formalnycombination of formal language and inference rules
Russian формальная систе́ма
- формальная систе́ма (formalʹnaja sistéma)combination of formal language and inference rules
Cite this entry
APA
formal system. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/formal%20system
MLA
“formal system.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/formal%20system. Accessed November 3, 2026.
Chicago
WatkinsX Dictionary, s.v. “formal system,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/formal%20system.
Source: formal system on Wiktionary, CC BY-SA 4.0.