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 machen, ist die Summe von m und n. Dies ist also eine Additionsmethode, und zwar eine äußerst umständliche.