Formal system

noun

noun ·Uncommon ·Advanced level

Definitions

Noun
  1. 1
    The grouping of a formal language and a set of inference rules and/or axioms.
  2. 2
    (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. wordnet