对象语言是作为研究对象的语言，元语言是用来谈论对象语言的语言．

例如， 词项的集合 、 一步规约 与 类型与类型判断 规定的布尔值与自然数语言是对象语言； 用来写这些定义和证明的自然语言与数学符号属于元语言． 用 Rust 实现这门小语言时，Rust 也充当元语言，见 Rust 也是元语言 ．