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