A
metatheory or
meta-theory is a
theory whose is some theory. All fields of research share some meta-theory, regardless whether this is explicit or correct. In a more restricted and specific sense, in
mathematics and
mathematical logic,
metatheory means a
mathematical theory about another mathematical theory.