Es ist
eine sehr wichtige Bemerkung daß das c in
A nicht dieselbe Variable ist wie das
c in β &
γ. Ich habe also den
Beweis nicht ganz richtig hingeschrieben, und
zwar in einer für uns sehr wichtigen
Beziehung. In A könnten wir statt c n
setzen, dagegen sind die c in β &
γ identisch.
Es ist aber auch noch das zu fragen: kann ich nun aus A
ableiten, daß i + (k + c) =
(i + k) + c? und wenn ja, warum dann
nicht gleich aus B? Also ist auch a &
b in A nicht identisch mit a & b in
α, β &
γ?