Definify.com

Definition 2024


formal_system

formal system

English

Noun

formal system (plural formal systems)

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

Synonyms

Meronyms

Translations