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