Plus Advent Calendar Door #12: 1, 2, 3, ...

Plus Advent Calendar Door #12: 1, 2, 3, ...

There's nothing simpler than 1,2,3, ... we understand these numbers instinctively and that's why they're called the natural numbers. But if you really think about it, what are these numbers? How would you describe them to an alien devoid of a number instinct? Here's one way of defining them, developed by the Italian mathematician Giuseppe Peano:


Explaining numbers to aliens.

  1. First you proclaim that 1 is a natural number
  2. Then you say that every natural number n has a successor s(n), which you can also write as n+1.
  3. We also insist that this successor is never equal to 1
  4. And that different numbers have different successors.

These four rules give you all the natural numbers, neatly ordered in a line, starting from 1 (you could also have started from 0). They also give you arithmetic, since addition and multiplication are about repeatedly adding 1s and you know how to do this: you simply move up to the successor of the number you're looking at. Subtraction and division are just the reverse of addition and multiplication. So equipped with these rules your innumerate alien could actually do some pretty decent number theory.

The four rules form the basis of what's called Peano arithmetic. It's a formal mathematical system based on a set of axioms (which includes these four rules) together with a language in which to speak about numbers and rules for logical inference. In the beginning of the 20th century mathematicians hoped they could turn all of maths into one giant formal system similar to Peano's arithmetic. That way they could prove everything directly from the axioms, without any hidden assumptions, and make sure that maths contains no contradictions. But their dream was shattered in the 1930s by the logician Kurt Gödel, who showed that there are logical limits to what you can do using formal systems. Find out more in

Return to the Plus Advent Calendar

By submitting this form, you accept the Mollom privacy policy.