The article Is Arithmetic Consistent? points out that indeed arithmetic is consistent locally, that the difficulties of completeness that Godel demonstrated come in primarily with the axiom of induction and the extension of a proof to all members of an infinite set. At least, that’s the way I understand what he’s saying!
I think anytime ...


