Basically, If a contradiction could be proved in Peano arithmetic, then established concept could well be logically inconsistent. With this particular definition, given a natural variety n, the sentence "a established S has n elements" may be formally outlined as "there exists a bijection from n to S. Initially, I https://www.diigo.com/item/pdf/bksie/jto8