Anagrammen & Informatie over | Engels woord METATHEOREM

Voorbeelden van het gebruik van METATHEOREM in een zin

• 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.

Paginavoorbereiding duurde: 88,93 ms.