名词
中文翻译：正式的公理体系
同义词：
['Formal Axioms', 'Formal Systems例句：1. In formal axiomatics', 'the concept of truth is defined by the set of axioms.（在形式公理体系中，真理的概念由一组公理来定义。）']
例句：
-
1. In formal axiomatics, the concept of truth is defined by the set of axioms.
在形式公理体系中，真理的概念由一组公理来定义。
-
2.The formal axiomatics approach to mathematics has been widely adopted in teaching and research.
数学教学中广泛采用的形式公理方法。
-
3. The formal axiomatics approach to logic has been shown to be more effective than traditional methods.
逻辑学中形式公理方法比传统方法更有效。