Metatheorem

In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.

单词	metatheorem
释义	metatheorem 英汉-汉英词典元定理词组 \| 习惯用语您要查找的是不是： theorem n. 定理；原理 metathesis n. 调换,转位,交换 metamorphose vt. 使变形,使变质 vi. 变形; 变质网络短语: metatheorem 元定理; 翻译; 英语百科 Metatheorem In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.
随便看	ikke ikky Ikkyu Ikla iklan iklawa ikle Iklim Ikma ik method I knew it. i knew it iknoian I Know I know . I know just how it is. I know, right I Know The Feeling I know what . i know what i know what you mean I Know You Are But What Am I i ko Iko I. kobuskiana

metatheorem

您要查找的是不是：

网络短语:

Metatheorem