元定理的英文翻译
中文:元定理
英文翻译:【计】 metatheorem