
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

