Re: Peano Algebra and it's base theorem (fwd)

Forwarded message:

Date: Tue, 22 Sep 1998 10:02:23 -0500 From: Mark Hahn Subject: Re: Peano Algebra and it's base theorem

At 07:42 AM 9/22/98 -0500, Jim Choate wrote:

...

Peano Algebra's are based on the following:

If a unary predicate P holds for 0, and if P holds, together with an element x, also for it's succesor x', then P holds for all natural numbers.

Didn't you over simplify this theorem somewhat.

It's taken word for word from VNR. Send 'em a letter. The point is that we were discussing binary not integer mathematics. ____________________________________________________________________ The seeker is a finder. Ancient Persian Proverb The Armadillo Group ,::////;::-. James Choate Austin, Tx /:'///// ``::>/|/ ravage@ssz.com www.ssz.com .', |||| `/( e\ 512-451-7087 -====~~mm-'`-```-mm --'- --------------------------------------------------------------------