Wie tritt der Begriff der Summe in diese
Überlegungen ein? –
Im ursprünglichen Kalkül, der
(
etwa) feststellt, daß
die Form (
Еx) & (
Еy)
⊃
(
Еz)
v)
(
z.B.
﹖)
tautologisch wird für x = ij, y = i und
z = ijk, ist von
Summierung nicht die Rede. –
Dann bringen wir ein Zahlensystem in den Kalkül (etwa das System
a b c d … z).
Und endlich definieren wir die Summe zweier Zahlen als diejenige Zahl
z, welche die Gleichung u löst.