对象语言(Objectlanguage)与元语言(Metalanguage)：数理逻辑所研究的是“数学推理”，而使用的方法也是数学推理，所以有必要区分这两个层次的推理。
基于5342个网页-相关网页
Syntactic metalanguage 语法元语言
natural semantic metalanguage 自然语义元语言 ; 自然语言元语言理论 ; 自然语义元语言论
extensible metalanguage 可延伸元语言 ; 可扩元语言
metalanguage processor [计] 元语言处理机
the Information Economy MetaLanguage 他称其为信息经济元语言 ; 信息经济元语言
ML metalanguage 元语言
metalanguage symbol 元语言符号
metalanguage detail 分析语言
N-VAR In linguistics, the words and expressions that people use to describe or refer to language can be called metalanguage. 元语言 [技术]
Likewise, XML is a metalanguage because it's a language that describes languages.
类似地，XML是一种元语言，因为它是一种描述语言的语言。
The development of a programming language involves the use of a metalanguage.
开发一种编程语言涉及到使用元语言。
Formal syntactic models for the description of grammar, eg generative grammar, are a type of metalanguage.
正式句法模式描述语法，例如生成语法，是一种元语言。
应用推荐