Category:Examples of Metatheorems
Jump to navigation
Jump to search
This category contains examples of Metatheorem.
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.
Pages in category "Examples of Metatheorems"
The following 2 pages are in this category, out of 2 total.