Ich sprach früher von Verbindungsstrichen, Unterstreichungen, etc. um die korrespondierenden, homologen, Teile der Gleichungen eines Rekursionsbeweises zu zeigen. Im Beweis
a + (b +

h 1

) = (a + b) +

1 1

a + (b + (c +

k l

)) = (a + (b + c)) +

m l

(a + b) + (c +

n 1

) = ((a + b) + c) +

p 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:

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