Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.

  • 元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.

  • 互联网摘选 2025-01-19 09:58:53

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