Man könnte nun sagen: die Summe von 4 und 5 nenne ich die Zahl,
welche die unter den Begriff fx
⌵ Fx fallenden
Gegenstände haben, wenn (
∃n4x).fx & (
∃n5x).Fx
&
Ind. der Fall
ist.
Und zwar heißt das
(nun
﹖) nicht, daß
die Summe von 4 und 5 nur in der Verbindung mit Sätzen von der Art
(
∃4x).fx
etc. verwendet werden darf, sondern es
heißt: Wenn Du die Summe von n
und m bilden willst, setze die Zahlen links von
“.
⊃ .” in die Form
(
∃nx).fx &
(
∃mx).Fx
etc. ein, und die
Zahl, die rechts stehen muß, um aus dem ganzen
Satz || Ausdruck eine
Tautologie zu ma
chen,
590
ist die Summe von m und n.
Dies ist also eine Additionsmethode, und zwar eine
äußerst umständliche.