Como ha señalado por Weyl, los sistemas lógicos formales también corren el riesgo de inconsistencia; en la aritmética de G.