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