Definition, Meaning & Anagrams | English word METATHEOREM
METATHEOREM
Definitions of METATHEOREM
- (logic) A statement about theorems proven in a metalanguage.
Number of letters
11
Is palindrome
No
Examples of Using METATHEOREM in a Sentence
- In mathematical logic, a deduction theorem is a metatheorem that justifies doing conditional proofs from a hypothesis in systems that do not explicitly axiomatize that hypothesis, i.
- In metalogic and metamathematics, Frege's theorem is a metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle.
Search for METATHEOREM in:
Page preparation took: 84.34 ms.
