(греч. meta — после, за и греч. theoria — наблюдение, рассмотрение, исследование) — теория, предметом исследования к-рой является нек-рая др. теория. М. изучает систему положений и понятий к.-л. теории; устанавливает ее границы, способы введения новых понятий и доказательства ее положений и т. д., давая возможность более рациональным способом ее построить. М. формулируется на метаязыке (Метаязык и язык-объект). В настоящее время наиболее развиты М. логики (Металогика) и математики (Метаматематика); в их развитии особую роль сыграли работы Гильберта, Гёделя, С. Клини. В создании М. для нематематических дисциплин сделаны лишь первые шаги. Центральной задачей М. является исследование условий формализации научных теорий, а также синтаксических (Логический синтаксис) и семантических (Логическая семантика) свойств формализованных языков. Такие исследования приобретают особое значение в связи с развитием кибернетики и вычислительной техники.