metatheorems
metatheorems is the plural of metatheorem.
Meaning of metatheorem
Noun
metatheorem (plural metatheorems)
- A statement about theorems proven in a metalanguage.
- 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.2007, Nino B. Cocchiarella, Formal Ontology and Conceptual Realism, Springer Science & Business Media, →ISBN, page 224
Questions about metatheorems
- What is metatheorems the plural of?
- Metatheorems is the plural of metatheorem.
Words near metatheorems in the dictionary
Source and license
Adapted from Wiktionary: metatheorems (page history and authors); metatheorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “metatheorems.” Word.ws, https://word.ws/metatheorems. Based on Wiktionary, CC BY-SA 4.0.
