语言来讨论一个对象语言，接着再生成另一个元语言来讨论前者。
巢状元语言.巢状元语言和有序元语言相似，每一阶层都会代表更大程度的抽象化。不过，巢状元语言和有序元语言之间也有不同的处，前者的上层元语言会包括下层的元语言。巢状元语言的范式例子来自于生物学中的生物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种；用来讨论科的语言也可以用来讨论属；以此类推，直到界、域都是如此。
元语言的类别.有几个实体经常在元语言中出现。逻辑上，元语言所