mathematical axiom

英 美
  • 数学公理
  • axiom n.公理;格言;自明之理
  • mathematical adj.数学的;精确的;可能性极小的
    1. At a theoretical level this requires us to specify the properties of the data type by mathematical axioms involving the possible operations.
      在理论的层面这要求我们通过数学公理和适当的操作来指定这种数据类型的属性。