DictionaryAI

formal system

Short definition from Wiktionary

Noun

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

We haven’t written up formal system yet: Simple and Standard meanings, examples and a quiz.