In other words, if a contradiction could be proved in Peano arithmetic, then set concept would be logically inconsistent. Since natural figures might have 0 or not, it may be vital that you know which version is referred to. This is often specified because of the context, but might also https://www.4shared.com/s/fll9JRoUgjq