metamathematics是什么意思？

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

行业词典

• 哲学： 元数学；
  数学： 元数学；