metamathematics

单词metamathematics

基本解释

n.: 数理哲学
网络: 元数学；后设数学；超数学

英汉解释

• 〔作单数用〕数理哲学

例句

• Some inspiration to computer science from metamathematics

  元数学对计算机的一些启示