Es ist eine sehr wichtige Bemerkung, daß c in a nicht dieselbe Variable ist, wie das c in v und w. 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 etwa n setzen, dagegen sind die c in v und w identisch.
     Es ist aber auch noch das zu fragen: kann ich nun aus A ableiten, daß i + (k + m) = (i + k) + m ist? und, wenn ja, warum dann nicht gleich aus B? Also ist auch a und b in A nicht identisch mit a und b in u, v und w?