En logique mathématique, le théorème d'accélération de Gödel, démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes légèrement plus puissant. Wikipedia