métathéorie nom féminin : 1. Étude des propriétés d'un système formel au moyen d'une métalangue. (Si le système formel représente une théorie mathématique donnée, la théorie qui prend ce système comme objet est dite métamathématique. La métathéorie d'une théorie déductive étudie notamment les concepts de non-contradiction, de complétude et d'indépendance des axiomes.)
2. Théorie qui a pour objet une théorie formalisée quelconque.
