metatheorem
Hello, you have come here looking for the meaning of the word metatheorem. In DICTIOUS you will not only get to know all the dictionary meanings for the word metatheorem, but we will also tell you about its etymology, its characteristics and you will know how to say metatheorem in singular and plural. Everything you need to know about the word metatheorem you have here. The definition of the word metatheorem will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofmetatheorem, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
Noun
metatheorem (plural metatheorems)
- (logic) A statement about theorems proven in a metalanguage.
- 2007, Nino B. Cocchiarella, Formal Ontology and Conceptual Realism, Springer Science & Business Media, →ISBN, page 224:
- 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.
- 2008, Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas, Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems, Springer Science & Business Media, →ISBN, page 70:
- The metatheorem of deduction will play an essential role ...
- 1977, Theory and decision:
- 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.