元定理的英文翻译

中文:元定理

英文翻译:【计】 metatheorem