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