El teorema de incompletitud de Gödel establece que incluso la aritmética básica no puede demostrar su propia consistencia, de modo que es imposible demostrar la consistencia de ningún sistema matemático.