Put simply, if a contradiction can be proved in Peano arithmetic, then set theory could be logically inconsistent. In 19th century Europe, there was mathematical and philosophical discussion about the exact mother nature from the natural numbers. Henri Poincaré stated that axioms can only be demonstrated in their finite application, https://buypilescurecapsules.code.blog/