420
Ich sprach früher von Verbindungsstrichen, Unterstreichungen,
etc. um die korrespondierenden, homologen, Teile der
Gleichungen eines Rekursionsbeweises zu zeigen.
Im Beweis
a + (b +
) = (a
+ b) +
a + (b + (c +
)) = (a + (b + c)) +
(a + b) + (c +
) = ((a + b) + c) +
entspricht
z.B. die Eins i nicht der m sondern dem
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..