Put Simply, if a contradiction may be proved in Peano arithmetic, then established principle would be logically inconsistent. The sets used to define natural figures satisfy the Peano axioms. It follows that each theorem which can be stated and proved in Peano arithmetic may also be proved in established theory. https://buyherbalmedicines.game.blog/