27.
Wir könnten nun die obigen Beweise auch anders hinschreiben, nämlich als Gleichungen zwischen besonderen Zahlen, die als Beispiele wirken || symbolisieren. So ein || Ein solcher Beweis ist dann von ähnlicher Art wie der eines geometrischen Satzes über das Dreieck durch eine Konstruktion in einem Dreieck. (Aber doch
nur ähnlich, also logisch verwandt, aber nicht ganz gleicht). Dem Satz I entspricht dann folgender Beweis:


A {

5 + (4 + 3) = 5 + (4 + (2 + 1)) = 5 + ((4 + 2) + 1) = (5 + (4 + 2)) + 1 =
= (5 + (4 + (1 + 1))) + 1 = (5 + ((4 + 1) + 1)) + 1 = ((5 + (4 + 1)) + 1) + 1 =
= (((5 + 4) + 1) + 1) + 1 = ((5 + 4) + 2) + 1 = (5 + 4) + 3