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.