Wozu brauchen wir
denn das
kommutative
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
kommutativen Gesetzes als ihr Beweis
verwendet werden, aber dann ist er eben
(
hier || jetzt)
ein spezieller (
arithmetischer)
Beweis. Ich brauche das Gesetz also um danach mit
Buchstaben zu operieren.
¥