广义来说，元语言是指讨论或研究语言本身时所使用的语言或符号。在逻辑和语言学里，元语言是用来对其他语言（）的句子形成另一个句子的语言。元语言通常会用斜体字、引号或写在单独一行里来和对象语言相区别。
元语言的类型.存在几种被承认的元语言，包括「内嵌」、「有序」和「巢状」等。
内嵌元语言.内嵌元语言是一个形式地、自然地且牢固地固定在一个对象语言之中的语言。此一想法出现于侯世达所着《哥德尔、埃舍尔、巴赫》之中。侯世达在书中讨论了形式语言和数论之间的关系：「数论的任