Noun: formal system
- (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction
"A formal system is said to be recursive (i.e. effective) if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, according to context"
Derived forms: formal systems
Type of: arrangement, organisation [Brit], organization, system
Encyclopedia: Formal system