metatheorem

网络释义

1.	元定理普通英汉小词典_翻译家(Fanyijia.com) ... 元语言 metalanguage 元定理 metatheorem 公理 axiom ... www.fanyijia.com
2.	后设定理语句逻辑的演译定理（deduction theorem）便是这样的句子。第二种意思的定理被称为后设定理（metatheorem）。 aaphi.blogspot.com

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。