BabelNet

bn:02668929n

Noun Concept

No term available

In mathematics, Gödel's speed-up theorem, proved by Gödel, shows that there are theorems whose proofs can be drastically shortened by working in more powerful axiomatic systems. Wikipedia

Relations

Sources

IS A

مبرهنة

PART OF

نظرية البرهان

NAMED AFTER

كورت غودل