Put simply, if a contradiction might be proved in Peano arithmetic, then established theory could be logically inconsistent. The sets accustomed to define natural numbers fulfill the Peano axioms. It follows that every theorem that can be mentioned and proved in Peano arithmetic can even be proved in set theory. https://naturalhealthproducts.water.blog/