metamathematics
英 [,met?m?θ(?)'m?t?ks]
美[,m?t?,m?θ?'m?t?ks]
- n. [數(shù)] 元數(shù)學(xué)
實(shí)用場(chǎng)景例句
- Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
- 元數(shù)學(xué)是一門(mén)數(shù)理邏輯方面的學(xué)科, 其主要研究對(duì)象是數(shù)學(xué)本身的矛盾性問(wèn)題.
互聯(lián)網(wǎng)