The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » Math Topics » alt.math.undergrad

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: 2+2=4 ... How?
Replies: 9   Last Post: Sep 29, 2012 10:40 AM

Advanced Search

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

Posts: 2
Registered: 6/19/12
2+2=4 ... How?
Posted: Sep 27, 2012 12:21 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

The natural numbers that we use are said to be derived from what so called Peano's Axioms. While these axioms (listed below) give a method of building up counting numbers they do not define or construct basic arithmetic operations like addition, subtraction, multiplication, etc or basic comparisons like that of equality. My doubt is how exactly we reach the conclusion: 2+2=4?

Peano?s Axioms of Natural numbers (N)
We assume that the set of all natural numbers has the following properties:
Axiom 1: 1 is a natural number. That is, our set is not empty; it contains an object called 1 (read ``one'').
Axiom 2: For each x there exists exactly one natural number, called the successor of x, which will be denoted by x'. x? ? 1
Axiom 3: We always have . That is, there exists no number whose successor is 1. That is, there exists no number whose successor is 1.
Axiom 4: If x'=y' then x=y. That is, for any given number there exists either no number or exactly one number whose successor is the given number.
Axiom 5 (Axiom of Induction): Let there be given a set M of natural numbers, with the following properties:
I. 1 belongs to M.
II. If x belongs to M then so does x'.
Then M contains all the natural numbers.

Notice that there is no mention of such things as addition or multiplication. How are these to be defined?

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.