Metatheory

Metatheory is used in logic to refer to the theory of a theory under study.