Kommutativgesetz der Addition

(KommAdd)

[image]

[image]

 

Beweis mit vollständiger Induktion

 

Induktionsanfang:

 

zu zeigen: A(0) gilt, d.h. die Aussage gilt für n=0

 

[image]

 

Induktionsschritt:

 

zu zeigen: [image]

 

Induktionsannahme (IA): [image]

 

zu zeigen: [image]

[image]

 

Was rechts neben dem Gleichheitszeichen bei der Induktionsannahme steht, wurde in die Klammer gesetzt.

 

q.e.d.