Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I really tried to find similar questions but didn't manage to find them. Please, forgive me if this question is a duplicate. I also apologize for my English.

So. The question.
We're given five Peano axioms. I consider the case when the set of natural numbers is considered to contain 0.
Suppose we defined numbers 1,2,...,9 as successor of 0, successor of 1, ..., successor of 8 or somehow else.

1) How can we derive from Peano axioms that all natural numbers can be uniquely represented in decimal system?

2) And how can we show that addition (and multiplication) of natural numbers in decimal representation (which we all learned at school) follows from Peano axioms? For example how do we know that in Peano arithmetic $132 + 223 = 355$.

I hope this question is not to strange and i'm grateful in advance for any answers.

share|cite|improve this question
Let me answer the second question, the representation of a number in base $10$ has nothing to do with the number itself. Numbers are not their representations. Addition works because addition works. The methods you were taught in school were to identify a number with its decimal base, which is good for practical uses, but very bad for mathematical uses. Mathematicians don't care about the actual number (as long as it's not $0$ or $1$, and rarely $2$), which is why no one bothers with a decimal, binary, or otherwise, representation of a number. We use $n$ to represent the abstract number. – Asaf Karagila Jun 2 '13 at 23:01
Also relevant:… (In particular Ittay's answer) – Asaf Karagila Jun 2 '13 at 23:06
Thank you very much for the link. It was very useful for me. – Igor Jun 3 '13 at 11:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.