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



Re: Need help deriving Peano Axioms from the reals
Posted:
May 31, 2012 8:47 AM


In message <877gvtrr58.fsf@phiwumbda.org>, Jesse F. Hughes <jesse@phiwumbda.org> writes >> Show that {x e n  x >= 1} is inductive. > >Perhaps you mean {x e N  s(x) >= 1} is inductive?
Dan is using the version of the Peano Axioms where the least element is 1, and he uses n for the set he's trying to show satisfies those axioms.  David Hartley



