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


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Need help deriving Peano Axioms from the reals
Replies:
7
Last Post:
May 31, 2012 12:12 PM




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



