Метаязык

Короткий ответ

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