I
a + (b + (c + 1)) ≝ a + ((b + c) + 1) ≝ (a + (b + c)) + 1
S
=
((a + b) + c) + 1 ≝ (a + b) + (c + 1)
II
a + (b + c) = (a + b) + c
Wenn wir I den Beweis von II nennen, was ist das allgemeine Prinzip dieses Beweises? Denn es nützt ja nichts zu sagen, I beweise II, da mir dadurch doch nicht mehr als nur I & II gegeben wird; es sei denn, daß ich nun ˇnoch eine allgemeine Regel erfahre, von der der Schluß von I auf II nur ein [b|B]eispiel ist.