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