言相区别。
元语言的类型.存在几种被承认的元语言，包括「内嵌」、「有序」和「巢状」等。
内嵌元语言.内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所着《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系：「数论的任何形式化都自然会有个元语言内嵌在其中」。这也出现在自然或非形式语言之中，如在英语里，形容词、副词和所有格代名词会构成一个内嵌元语言；名词、动词，有时还有形容词和副词则会构成一个对象