 Gödel's speed-up theorem

Gödel's speed-up theorem is a result in the field of mathematical logic, particularly in the study of formal systems and computability. It essentially states that for certain mathematical statements that can be proven in a relatively weak formal system, there exist stronger systems in which those statements can be proven more efficiently—specifically, in what is known as "faster" or more succinct proofs.