Wie
tritt der Begriff der Summe in diese
Überlegungen ein? –
Im ursprünglichen Kalkül, der
(
etwa) feststellt,
daß die Form (
∃'x) &
(
∃'y)
⊃
(
∃'z)
δ)
(z.B.
﹖)
tautologisch wird für x =
ij,
η = i und
ζ =
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
ζ, welche
die Gleichung
γ
löst.