[数]?元定理
... metalanguage 元语言 metalogic of predicates 谓词元逻辑 metatheorem 元定理 ...
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。