對象語言

通常這是兩種不同的語言。被討論的某種特定的人為的語言就是對象語言(object-language)。而在討論時所使用的語言則叫做元語言(meta-language)或語法語言。例如用漢語來討論命題演算時説，“p—q”是一個合式公式。在這命題演算中使用的符號語言就是對象語言，而討論時使用的漢語就是語法語言或元語言。