元语言又称“纯理语言”、“第二级语言”。被用来谈论、观察和分析另一种语言的符号语言。可以是自然语言，如学习外语时用于解释外文的本民族语言;也可以是一套语言符号，如科学技术术语、学术术语等。被谈论、观察和分析的语言为“对象语言”、“第一级语言”。语义学家、形式逻辑学家及哲学家认为，这种区分对于人们的语言沟通十分重要。被谈论、分析的事实、争论等，都已被同一种语言表述了，该语言的概念、规则需要用元语言来说明和限定，否则将造成误解。当然，元语言本身仍要用自然语言来说明。