Das kann man nicht beweisen!
So wird die Ziffer halt definiert und Definitionen kann man NICHT beweisen. Sie sind zufällig festgelegt worden.
Die Definitionen:
0 = gar nichts ; 1 = 0+1 ; 2 = 0+1+1 ; 3 = 0+1+1+1 ; 4 = 0+1+1+1+1 ; 5 = 0+1+1+1+1+1 ; 6 = 0+1+1+1+1+1+1 ; 7 = 0+1+1+1+1+1+1+1 ; 8 = 0+1+1+1+1+1+1+1+1 ; 9 = 0+1+1+1+1+1+1+1+1+1 ; xx = x0+x ; xxx = x00+x0+x ; xxxx = x000+x00+x0+x ; usw.
(x steht dabei für eine einzelne Ziffer)
Aus diesen Definitionen kann man z.B. beweisen dass 4 = 2 + 2 ist.
Beweis: 2 + 2 = 1 + 1 + 1 + 1 = 4
Man kann allerdings nicht beweisen, dass 1 + 1 = 2 ist. So ist die Ziffer 2 halt definiert!