To paraphrase, if a contradiction can be proved in Peano arithmetic, then set idea might be logically inconsistent. The sets used to define natural figures fulfill the Peano axioms. It follows that every theorem which might be stated and proved in Peano arithmetic may also be proved in set concept. https://leadingayurvedichealthcarebrand.news.blog/