On Wednesday, 26 February 2014 18:03:49 UTC+2, Dan Christensen wrote: > On Wednesday, February 26, 2014 2:48:04 AM UTC-5, John Gabriel wrote: > > > In your write-up, next(a) is meaningless garbage. > > > > It is a successor function on the set of natural numbers. Got a problem with that? > > > > Dan > > Download my DC Proof 2.0 software at http://www.dcproof.com > > Visit my new math blog at http://www.dcproof.wordpress.com
Yes, because then you already assume the prior existence of natural numbers.