Definition:Metatheorem

A metatheorem of a formal language $$\mathcal{F}$$ is a theorem about $$\mathcal{F}$$ which is not part of $$\mathcal{F}$$.