Why is #1+1=2# ?
2 Answers
See explanation:
Explanation:
Imagine a number line:
You have from
All the best!
It depends...
Explanation:
It depends on how you start, but one basic answer is that
It is much more convenient to have distinct names for numbers than to have to write
It really comes down to how you define the concept of numbers at all. Many different approaches have been used, probably the most notorious of which is Whitehead and Russell's "Principia Mathematica" in which they attempted to describe the whole of mathematics based on a very formal approach. It took them until page 379 of the first volume to prove that
More usefully, we can use Peano's axioms for the natural numbers, which can be formulated as follows:

#0# is a natural number:#0 in NN# 
The successor of a natural number is a natural number:
#n in NN => sigma(n) in NN# 
#0# is not the successor of any natural number:#not EE n in NN : 0 = sigma(n)# 
Different natural numbers have different successors:
#AA m, n in NN, sigma(m) = sigma(n) => m = n# 
(Induction) If a proposition holds for
#0# and for the successor of any natural number for which it holds, then it holds for all natural numbers:#(P(0) ^^ (AA n in NN, P(n) => P(sigma(n)))) => AA n in NN, P(n)#
So the natural numbers are:
We can define addition recursively by:

#0+0 = 0# 
#AA m, n in NN, sigma(m)+n = m+sigma(n) = sigma(m+n)#
Then we find:
#sigma(0) + sigma(0) = sigma(0+sigma(0)) = sigma(sigma(0+0)) = sigma(sigma(0))#
That is