En dicho artículo demostró que para todo sistema axiomático computable que sea lo suficientemente poderoso como para describir la aritmética de los números naturales (e.g.