Category:Metatheorems

This category contains results about Metatheorems.
Definitions specific to this category can be found in Definitions/Metatheorems.

A metatheorem of a metalanguage $\LL$ about an object language $\FF$ is a theorem about $\FF$ which is not part of $\FF$.

It is usual for $\FF$ to be a formal system or a formal language.