mathematical axiom

• 数学公理

mathematical axiom的用法和样例：

例句

1. At a theoretical level this requires us to specify the properties of the data type by mathematical axioms involving the possible operations.
   在理论的层面这要求我们通过数学公理和适当的操作来指定这种数据类型的属性。