Una aplicación de la teoría de demostraciones es la de mostrar que ciertas afirmaciones indecidibles no pueden tener demostración.