Basically, If a contradiction may be proved in Peano arithmetic, then established concept could well be logically inconsistent. The sets utilized to outline natural quantities satisfy the Peano axioms. It follows that every theorem that may be mentioned and proved in Peano arithmetic can be proved in established principle. Commented https://buyjointcarecapsules.blogspot.com