metamathematics

n.  元数学

计算机



双语例句

  1. Metamathematics and programming languages
    元数学与程序设计语言

英英释义

noun

  1. the logical analysis of mathematical reasoning