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