metamathematics

英 [,metəmæθ(ə)'mætɪks] 美[,mɛtə,mæθə'mætɪks]

Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.: 元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.