Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: § 454 Equality and the axioms of natural numbers
Replies: 30   Last Post: Mar 23, 2014 2:41 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Virgil

Posts: 8,833
Registered: 1/6/11
Re: � 454 Equality and the axioms of natural numbers
Posted: Mar 21, 2014 3:51 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <fe9e9fb1-c93a-4307-87da-48cb1242957d@googlegroups.com>,
mueckenh@rz.fh-augsburg.de wrote:

> On Friday, 21 March 2014 09:30:12 UTC+1, Virgil wrote:
The question was: If the five truncated Peano axioms, not more and not
> > > less,
> >
> > > define the natural numbers
> >
> >
> >
> > But the "truncated"Peano postulates prove nothing.

>
> They prove that 1 (or 0) is a natural number.


My "truncated PA's read
Peano Postulates:
There is a set, S, and an object, o, and a function, f, such that
1. o is a member of S
2. if x is in S then f(x) is in S
3. For every x in S, o =/= F(x)
4. For every x and y in S, if f(x) = f(y) then x = y
5. If a set T is such that o is a member of T and whenever x is a
member of T then also f(x) is a member of T then S is a subset of T.

Since that "o" is only specified as being an object and the postulates
never mention natural numbers, WM's assumption is, as usual, unfunded.
--




Date Subject Author
3/20/14
Read § 454 Equality and the axioms of natural numbers
heinrich.schliemann.ii@googlemail.com
3/20/14
Read Re: § 454 Equality and the axioms of natural numb
ers
JT
3/20/14
Read Re: § 454 Equality and the axioms of natural numb
ers
JT
3/20/14
Read Re: § 454 Equality and the axioms of natural numb
ers
JT
3/20/14
Read Re: § 454 Equality and the axioms of natural numbers
Dan Christensen
3/20/14
Read Re: § 454 Equality and the axio
ms of natural numbers
Robin Chapman
3/21/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/21/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/21/14
Read Re: § 454 Equality and the axioms of natural numbers
Ralf Bader
3/20/14
Read Re: § 454 Equality and the axioms of natural numbers
Dan Christensen
3/20/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/20/14
Read Re: § 454 Equality and the axioms of natural numbers
Dan Christensen
3/20/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/21/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/21/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/21/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/21/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/21/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/21/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/22/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/22/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/22/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/22/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/23/14
Read Re: ß 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/23/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/22/14
Read Re: § 454 Equality and the axioms of natural numb
ers
Dan Christensen
3/22/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/22/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/23/14
Read Re: § 454 Equality and the axioms of natural numb
ers
mueckenh@rz.fh-augsburg.de
3/23/14
Read Re: � 454 Equality and the axioms of natural numbers
Virgil
3/23/14
Read Re: § 454 Equality and the axioms of natural numb
ers
Brian Q. Hutchings

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.