Basically, If a contradiction might be proved in Peano arithmetic, then established theory can be logically inconsistent. not influenced by humans or civilization; uncultivated; wild: from the natural condition this animal is not really ferocious This solution is currently called Peano arithmetic. It relies on an axiomatization of the Attributes https://www.edocr.com/v/mndk7yw0/cureayublog/stay-fit-with-cureayu-natural-health-products-indi