Definition:Metatheorem

Definition
A metatheorem of a formal system $\FF$ is a theorem about $\FF$ which is not part of $\FF$.