Метаязык: основные понятия и термины

Метаязык - язык, средствами которого описываются и исследуются свойства некоторого другого, предметного (объективного) языка.