((1) + 1)
I
2, ((((1) + 1) + 1) + 1)
II
4
a + (b + 1)
III
(a + b) + 1
2 + 2
I
((1) + 1) + ((1) + 1)
III
(((1) + 1) + 1) + 1
II
4 :. 2 + 2 = 4
Dasjenige, was 2 + 2 = 4 bedeutungsvoll macht, das also, was
27
macht, dass 2 + 2 = 4 richtig und 2 + 2 = 5 falsch ist und nicht zwei gleichbedeutende gleichberechtigte Festsetzungen, ist die Beweisbarkeit von 2 + 2 = 4, [U|u]nd nur sie. Dass also ((1) + 1) + ((1) + 1) = (((1) + 1) + 1) + 1 zu dem allgemeinen System a + (b + 1) = (a + b) + 1 gehört.