Synonyms
- de formales system ➜
- el τυπικο συστημα ➜
- en logic ➜
- en logical calculus ➜
- en logical system ➜
- fa سیستم صوری ➜
- ja 形式体系 ➜
- ja 形式的体系 ➜
- nl formeel systeem ➜
- ru формальная система ➜
Related terms
- en axiom ➜
- en formal language ➜
- en inference rule ➜