Метаязык

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