Metatheory

This involves studying the structure of formal systems and their limits.