Anagramme & Informationen zu | Englisch Wort METATHEOREM

Beispiele für die Verwendung von METATHEOREM in einem Satz

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

Die Seitenvorbereitung dauerte: 256,44 ms.