Ich
sprach früher von Verbindungsstrichen, Unterstreichungen,
etc. um die korrespondierenden, homologen, Teile der
Gleichungen eines Rekursionsbeweises zu zeigen. Im
Beweis
a + (b + 1) =
(a + b) + 1
a + (b + (c + 1)) =
a + ((b + c) + 1) =
(a + (b + c)) + 1
(a + b) + (c + 1) =
((a + b) + c) + 1(Ƒ)
entspricht
z.B. die Eins
1 nicht
der m sondern der
c
der nächsten Gleichung; m aber entspricht nicht
k,
sondern dem
p
und h nicht dem
k
sondern dem
c + k etc..
Oder in:
(a + 1) + 1 = (a + 1) + 1
1 + (a + 1) = (1 + a) + 1(Ƒ)
421
entspricht nicht
m
dem h und
n
dem i, sondern
m
dem v und
n
dem k; und nicht
k
dem p, aber
p
dem u und
v
dem r und
k
dem q und
q
dem s, aber nicht dem
u
u.s.w..