multiplication axiom

英 美
  • 乘法公理
    1. The concern about this axiom stemmed from the fact.
      对于这个公理的考虑是基于这样的事实。
    2. The step by which a new axiom is added cannot itself be mechanized.
      一个新公理得以产生,但产生公理的这个步骤自身却非机械的。