Unter welchen Umständen wäre es denn wahr, dass Sa + (b + c) = (a + 2b) + c statt (a + b) + c wäre? Es müsste Unter diesen Bedingungen:
1) a + (b + 1) = (a + 2b) + 1
2) a + (b + (c + 1)) = /a + (b + c)/ + 1
3) (a + 2b) + (c + 1) = /a + (2b + c)/ + 1
Aber warum soll 1) nicht gelten? darf ich es nicht willkürlich bestimmen? (Ich möchte sagen: Man kann nur sagen: Es verhält sich a + (b + c) = (a + b) + c zu
104
seiner Induktion, wie a + b = b + a zu der seinen.)