metatheorem
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
18
Scrabble Score
11
Letters
3
Syllables
7
Unique Chars
Meaning
noun
A statement about theorems proven in a metalanguage.
Example Sentences
- "From these observations we conclude that we have the following metatheorem. Metatheorem 3: If φ is a theorem of second-order monadic predicate logic, then trs'(φ) is a theorem of our present conceptualist logic."
- "The metatheorem of deduction will play an essential role ..."
- "This paper presents a metatheorem with the following property: Given a proven axiom-free lemma, which interrelates some of the elementary properties of a binary relation, the metatheorem mechanically transforms this lemma into its uniquely corresponding complementary lemma."