Words: formal system
Part of speech: n
Definition: (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.
Example: 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.