Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

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

 Messages: [ Previous | Next ]
 David Hartley Posts: 463 Registered: 12/13/04
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

Date Subject Author
5/30/12 Jesse F. Hughes
5/31/12 David Hartley
5/31/12 Jesse F. Hughes
5/31/12 David Hartley
5/31/12 Jesse F. Hughes