To paraphrase, if a contradiction can be proved in Peano arithmetic, then established principle could well be logically inconsistent. In nineteenth century Europe, there was mathematical and philosophical discussion about the exact mother nature from the natural quantities. Henri Poincaré said that axioms can only be demonstrated within their finite https://buycentofizzpathritablet.blogspot.com