Basically, If a contradiction may be proved in Peano arithmetic, then set principle could be logically inconsistent. In nineteenth century Europe, there was mathematical and philosophical dialogue about the precise character of your natural figures. Henri Poincaré said that axioms can only be shown in their finite application, and concluded https://pyridolomusclepainreliefoil.blogspot.com/