Word.ws English Dictionary

metatheorem

metatheorem noun: a statement about theorems proven in a metalanguage.

Noun

metatheorem (plural metatheorems)

  1. 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
    • The metatheorem of deduction will play an essential role ...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...

Forms of metatheorem

pluralmetatheorems

Origin of metatheorem

From meta- + theorem.

Questions about metatheorem

What does metatheorem mean?
Metatheorem means a statement about theorems proven in a metalanguage.
What part of speech is metatheorem?
Metatheorem is a noun.
What is the plural of metatheorem?
The plural of metatheorem is metatheorems.

Words near metatheorem in the dictionary

  1. metathenardite
  2. metatheologian
  3. metatheologians
  4. metatheological
  5. metatheology
  6. metatheorem
  7. metatheorems
  8. metatheoretic
  9. metatheoretical
  10. metatheoretically
  11. metatheories

Source and license

Adapted from Wiktionary: 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: “metatheorem.” Word.ws, https://word.ws/metatheorem. Based on Wiktionary, CC BY-SA 4.0.