formal system

Noun

 * 1)  The grouping of a formal language and a set of inference rules and/or axioms.

Synonyms

 * logical system
 * logical calculus
 * logic

Meronyms

 * formal language
 * axioms
 * inference rules
 * theory
 * syntax
 * semantics

Translations

 * Dutch: formeel systeem
 * German: formales System
 * Greek: τυπικό σύστημα
 * Japanese: 形式的体系, 形式体系
 * Persian: سیستم صوری
 * Russian: формальная систе́ма