formal systemのWordNet
1名詞
意味 (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.
（論理学および数学）演繹の概念の分析のための道具として用いられる、用語および暗黙の関係の抽象的・理論的な体系
同義語 - formal system
例文 A formal system is said to be recursive (i.e. effective) if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, according to context.
形式体系は、公理の集合と推論規則の集合が文脈に応じて決定可能集合または半決定可能集合である場合、帰納的（すなわち実効的）であると言われる