All of these indicate that the system of Peano ′ s natural number can be generated in MS and a theoretical foundation provided to prove that MS is a foundation of classical mathematics.

  • 这表明Peano自然数系统能在MS中产生,为最终证明精确性经典数学能奠基于MS提供了理论基础。

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

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