metatheorem
English
Etymology
meta- + theorem
Noun
metatheorem (plural metatheorems)
- (logic) This term needs a definition. Please help out and add a definition, then remove the text
{{rfdef}}
.- 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.
- 2007, Nino B. Cocchiarella, Formal Ontology and Conceptual Realism, Springer Science & Business Media (→ISBN), page 224: