Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 am going through Analysis V.1, Terence Tao. In his definition of Addition, screenshot given below, how did he deduce that (N++)+M := (N+M)++ ?? I am not able to understand the steps.

Definition of Addition Definition 2.2.1, Volume 1 Analysis, Terence Tao

share|cite|improve this question
Thats a recursive definition of addition of natural numbers. If you know what n+m is, then you define inductively (on n) what $(n++)+m$ is. You could also view it as function $f_m:\mathbb N \rightarrow \mathbb N:m \mapsto n+m$. Then you define $f(0)=m$ and given that value you definie $f(n++)$. Thus $f(n++):=f(n)++$, which is a natural way do to so. – Epsilon Nov 19 '12 at 6:21
up vote 1 down vote accepted

You have to remember that in developing formal rules for addition, we are taking the properties in which we are already naturally familiar and changing them into a rigorous definition.

Informally, we perceive $n++$ as $n+1$. Therefore the recursive definition simply says that $$(n+1) + m = (n+m)+1$$ You must remember that we already have in mind what properties we want addition to have and that we are simply providing a definition.

share|cite|improve this answer
I have understood the notation. I have not understood how he proved the equation shown above. More precisely, how did he 'use' the concept of recursion and the knowledge upto that point in the book to prove the above identity/Lemma. – Raghavendra Kumar Nov 19 '12 at 12:59
He doesn't prove it. He defines addition as the above recursive rule. Up to this point, there is not such thing as addition, so there is nothing to prove. – EuYu Nov 19 '12 at 13:02

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.