Anagrams & Informasjon om | Engelsk ordet METATHEOREM

Eksempler på bruk av METATHEOREM i en setning

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

Forberedelse av siden tok: 134,63 ms.