\begin{definition}[Definition:Metatheorem]
A '''metatheorem''' of a formal system $\FF$ is a theorem about $\FF$ which is not part of $\FF$.
{{NoSources}}
Category:Definitions/Formal Systems
\end{definition}