- a theory devised to analyze a theory.
- the investigation and analysis of theories.
- philosophical discussion of the foundations, structure, or results of some theory, such as metamathematics
- a formal system that describes the structure of some other system
