Metatheorem

Quick meaning: Metatheorem is a noun meaning (logic) A statement about theorems proven in a metalanguage.

Meaning

(logic) A statement about theorems proven in a metalanguage.

Example Sentences

The metatheorem of deduction will play an essential role .

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.

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.

Word Forms

• metatheorems

Related Words

Related dictionary entries include antitheorem, theorum, theorem, theorematist, theory, lemma.

Related Dictionary Tools