To paraphrase, if a contradiction could possibly be proved in Peano arithmetic, then established idea can be logically inconsistent. In 19th century Europe, there was mathematical and philosophical discussion about the exact character on the natural quantities. Henri Poincaré mentioned that axioms can only be shown of their finite software, https://orderayurvedicsupplements.water.blog/