Quite simply, if a contradiction could be proved in Peano arithmetic, then set idea will be logically inconsistent. Since natural numbers may well contain 0 or not, it might be crucial that you know which Model is referred to. This is usually specified because of the context, but can also https://www.reddit.com/user/Similar-Taste2681/comments/1n7awzr/ayurvedic_medicine_for_lifestyle_disorders/