El segundo teorema de incompletitud de Gödel establece que los sistemas lógicos de la aritmética no pueden contener una prueba válida de su propia consistencia.