((1) + 1)
2,
((((1) + 1) + 1) + 1)
4
a + (b + 1)
(a + b) +
1
2 + 2
((1) + 1) +
((1) + 1)
(((1) + 1)
+ 1) + 1
4 :. 2 + 2 =
4
Dasjenige, was
2 + 2 = 4
bedeutungsvoll macht, das also, was
27
macht, daß
2 + 2 = 4
richtig und 2 + 2 =
5 falsch ist und nicht zwei
gleichbedeutende || gleichberechtigte
Festsetzungen, ist die Beweisbarkeit von
2 + 2 = 4,
und nur sie. Daß
also ((1) + 1) + ((1) + 1)
=
(((1) + 1) + 1) + 1 zu dem
allgemeinen System a + (b + 1) =
(a + b) + 1 gehört.