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