Anagram & Information om | Engelska ordet METATHEOREM

Exempel på hur man kan använda METATHEOREM i en mening

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

Förberedelsen av sidan tog: 172,35 ms.