Definition:Metatheorem

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