formal system

English

English Wikipedia has an article on:

formal system

Noun

formal system (plural formal systems)

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

Synonyms

Meronyms

Translations

combination of formal language and inference rules

Dutch: formeel systeem n
German: formales System n
Greek: τυπικό σύστημα n (typikó sýstima)
Japanese: 形式的体系 (けいしきてきたいけい, keishiki-teki-taikei), 形式体系 (けいしきたいけい, keishiki-taikei)
Persian: سیستم صوری
Russian: формальная систе́ма (formalʹnaja sistéma)

Retrieved from "https://en.wiktionary.org/w/index.php?title=formal_system&oldid=70956178"

Hidden categories: