420
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 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..