• 对象语言（object language）：被研究的那门语言。
• 元语言（metalanguage）：用来谈论对象语言的语言。

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