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





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