To put it differently, if a contradiction might be proved in Peano arithmetic, then set theory could well be logically inconsistent. The sets utilized to define natural quantities satisfy the Peano axioms. It follows that each theorem that can be stated and proved in Peano arithmetic will also be proved https://buyyuvacenbotoxnightcream.blogspot.com