In other words, if a contradiction could be proved in Peano arithmetic, then established idea can be logically inconsistent. In nineteenth century Europe, there was mathematical and philosophical dialogue about the precise nature in the natural quantities. Henri Poincaré said that axioms can only be shown within their finite application, https://hair2glowhaircare.blogspot.com