Definition:Metatheorem
Jump to navigation
Jump to search
Definition
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.
Examples
Completeness Theorem
The Completeness Theorem is an example of a metatheorem of the propositional calculus.
Also see
- Results about metatheorems can be found here.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): metatheorem
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): metatheorem