Значение слова МЕТАЯЗЫК в Современном толковом словаре, БСЭ

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

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

БСЭ. Современный толковый словарь, БСЭ.