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 verwan
dt, 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
|