Metatheory

The study of properties about a Formal system (e.g., Soundness, Completeness, termination), using external reasoning to prove facts about the system itself.