Skip to main content

In mathematics and mathematical logic, a metatheory is a mathematical theory about another mathematical theory. (Source: Wikipedia)

References:
Wikipedia - Metatheory and related Metalogic.