To Put it differently, if a contradiction may 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 of the natural numbers. Henri Poincaré mentioned that axioms can only be shown inside their https://naturalhealthproductsindia.blogspot.com