Daß der R'sche Beweis von n + m = l alles mögliche Überflüssige enthält ist wohl klar, aber das zu zeigen genügt mir noch nicht. Nun, wenn er auch (logisch) || einigermaßen ausgeschmückt ist, macht ihn das noch nicht falsch. Man braucht dies um & auf nicht, aber es schadet auch nichts. || Man braucht diese Deutung nicht, aber sie schadet auch nichts. Wenn wir sie aber weglassen, so haben wir vorerst eine Konstruktion, aus || mittels || ausgehend von zwei Klammerausdrücken

71

|| Reihen von Variablen eine dritte Reihe zu bilden, die so viele Variable enthält, als beide ersten zusammen. Analog etwa dieser Konstruktion:

Genügt nun dies, die Addition der Kardinalzahlen zu erklären? Ist es richtig, daß unser ganzer Additionskalkül mit Kardinalzahlen wirklich auf so einem eins-zu-eins Abstreichen || Kollationieren beruht, || – sodaß dieses im Hintergrund jeder solchen Rechnung || Additionsrechnung || jeder solchen Rechnung || jeder Addition steht || stünde?