Open main menu

Wiktionary β

Contents

EnglishEdit

 
Wikipedia has an article on:
Wikipedia

NounEdit

formal system (plural formal systems)

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

SynonymsEdit

MeronymsEdit

TranslationsEdit