I
a + (b + (c + 1)) ≝
a + ((b + c) + 1) ≝
(a + (b + c)) + 1
((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
Beispiel ist.