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






Ссылка на выделенный текст