Ich sprach
früher von
Strichen || 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 α nicht der
β sondern dem c der
nächsten Gleichung. β
aber entspricht nicht δ
sondern ε, &
γ nicht
δ sondern
c + δ.
etc.
Oder in:
(a + 1) + 1 = (a + 1) + 1
1 + (a + 1) = (1 + a) + 1(Ƒ)
entspricht
nicht ι
dem κ &
ε dem
λ sondern
ι dem
α &
ε dem
β & nicht
β dem
ζ aber
ζ dem
ϑ &
α dem
δ &
β dem
γ &
γ dem
μ aber nicht dem
ϑ
u.s.w.