Quite simply, if a contradiction could be proved in Peano arithmetic, then set theory can be logically inconsistent. Given that natural numbers could have 0 or not, it may be crucial that you know which Variation is referred to. This is frequently specified because of the context, but may also https://pyridolomusclepainrelief.blogspot.com/