Значение слова МЕТАЯЗЫК в Большом энциклопедическом словаре

Что такое МЕТАЯЗЫК

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

Большой энциклопедический словарь.