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