陈述和讨论对象语言时所用的语言。又称语法语言。譬如说，一本用汉语写的英语语法书，英语是讨论的对象，可称之为对象语言，而汉语是元语言。在逻辑研究中，对象语言是形式语言，元语言是某种自然语言，在本书中是汉语，再加上若干符号，其中特别重要的是几种变元，称为语法变元。每一种语法变元都以对象语言中的一类表达式为值。例如，符号A，B，C以对象语言中的公式为值，表示任意公式，元语言符号都不是形式系统中的对象。