Así, para demostrar que cualquier sistema axiomático de las matemáticas es efectivamente consistente, primero se debe asumir la consistencia de un sistema matemático que es, en cierto sentido, más fuerte que el sistema cuya consistencia se desea demostrar.