To Paraphrase, if a contradiction could possibly be proved in Peano arithmetic, then established theory could well be logically inconsistent. The sets utilized to outline natural quantities fulfill the Peano axioms. It follows that each theorem which might be stated and proved in Peano arithmetic can also be proved in https://cureayunaturalhealth.movie.blog/