Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

  • 其次,利用中介公理集合论MS的相关理论,构造了MS中的自然数系统,证明了Peano5条公理为MS中的定理。

  • 互联网摘选 2025-01-20 18:06:18

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句