Ich möchte sagen, wenn ich
die
Gleichungen
a + (b + 1) =
(a + b) + 1
a + (b + (c + 1)) =
a + (b + c)) + 1)
(a + b) + (c + 1) =
((a + b) + c) + 1 |
|
}
|
betrachte: es liegt alles in ihnen; kein weiterer Schritt gibt
uns mehr, als schon da steht. Anderseits sieht man sie doch
auf gewisse Weise an, wenn man sie als
Induktionsbeweis auffaßt, aber das sagt nur, daß wir
das in ihnen sehen, was wir
z.B. || etwa
durch
Unterstreichen
gewisser Ausdrücke anzeigen
oder durch das Ziehen von
Zuordnungslinien zwischen den Gleichungen. || oder durch Linien || Verbindungslinien, welche
Teile der einen Gleichung Teilen der anderen
zuordnen || zwischen den Gleichungen Teile der einen Teilen der
anderen zuordnen. Und diese Linien sind
nur neue
Paßflächen || Paßstellen, welche den
Gleichungskomplex in ein neues System einreihen.