翻译
  • 简明
  • metamathematics

    • 英 [ˌmetəˌmæθə'mætɪks]
    • 美 [ˌmetəˌmæθə'mætɪks]

    释义

    • n.
      数理哲学,元数学
  • 实用场景例句

    • 全部

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

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

    互联网

  • 英英释义

    Noun

    • 1. the logical analysis of mathematical reasoning
  • 行业词典

    • 哲学

      元数学   

    • 数学

      元数学