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 10:07 AM


In message <87396gsbni.fsf@phiwumbda.org>, Jesse F. Hughes <jesse@phiwumbda.org> writes >But I still don't see how your set will yield that (Ax)(s(x) != 1). I'd >be more interested in the inductive set: > > {x in n  s(x) > 1}
Call "my set" m, by definition of n, n is a subset of m. But 0 is not in m and so can't be in n. (We're working within the reals, so we already know s(x) = 1 implies x = 0, we only have to show 0 isn't in n.)  David Hartley



