/  
Wozu brauchen wir denn das [C|c]ommutative Gesetz? Doch nicht um die Gleichung 4 + 6 = 6 + 4 anschreiben zu können, denn diese Gleichung wird durch ihren besonderen Beweis gerechtfertigt Und es kann freilich auch der Beweis des commutativen Gesetzes als ihr Beweis verwendet werden, aber dann ist er eben (
jetzt
hier
) ein spezieller (arithmetischer) Beweis. Ich brauche das Gesetz also um ˇdanach mit Buchstaben zu operieren. ¥