物分类法。此系统中的每一层都由下一层所组成。用于讨论属的语言也可以用来讨论物种；用来讨论科的语言也可以用来讨论属；以此类推，直到界、域都是如此。
元语言的类别.有几个实体经常在元语言中出现。逻辑上，元语言所讨论的对象语言一般是形式语言，而且常常这门元语言自身也是形式语言。
演绎系统.形式系统的演绎系统是由公理（或公理模式）和推理规则所组成的，可用来推导系统中的定理。
元变数.元变数是指元语言中的一个或一组，可用来代表对象语言中的一