Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Rupert
Posts:
3,810
Registered:
12/6/04


Re: Induction is Wrong
Posted:
Nov 30, 2012 10:42 AM


On Nov 30, 3:27 am, RussellE <reaste...@gmail.com> wrote: > Andrew Boucher has developed a theory called General Arithmetic (GA):http://www.andrewboucher.com/papers/ga.pdf > > GA is a subtheory of Peano Arithmetic (PA). > If we add an induction axiom (IND) to the axioms of Ring Theory (RT) > then > GA is also a subtheory of RT+IND.
This isn't true. The sentence ExAy(x+y!=0) is a theorem of GA, and it is not consistent with RT.



