metatheorem
About 0.01 uses per million words.
Meaning
- noun A statement about theorems proven in a metalanguage.
Similar words
antitheorem theorum theorem theorematist fundamental theorem theory lemma special case proof system metamathematician
Often followed by
of is that
Save “metatheorem” to learn later