Russells Erklärung der Gleichzahligkeit ist aus verschiedenen Gründen ungenügend. Aber die Wahrheit ist, daß man in der Mathematik keine solche Erklärung der Gleichzahligkeit braucht. Hier ist überhaupt alles falsch aufgezäumt.
     Was uns verführt die Russell'sche, oder Frege'sche, Erklärung anzunehmen, ist der Gedanke, zwei Klassen von Gegenständen (Äpfeln in zwei Kisten) seien gleichzahlig, wenn man sie einander 1 zu 1 zuordnen könne. Man denkt sich die Zuordnung als eine Kontrolle der Gleichzahligkeit. Und hier macht man in Gedanken wohl noch eine Unterscheidung zwischen Zuordnung und Verbindung durch eine Relation; und zwar wird die Zuordnung zur Verbindung, was die “geometrische Gerade” zu einer wirklichen ist, eine Art idealer Verbindung; einer Verbindung, die quasi von der Logik vorgezeichnet ist und durch die Wirklichkeit nun nachgezogen werden kann. Es ist die Möglichkeit, aufgefaßt als eine schattenhafte Wirklichkeit. Dies hängt dann wieder mit der Auffassung von “(∃x). φx” als Ausdruck der Möglichkeit von φx zusammen.
     “f und F sind gleichzahlig” (ich werde dies schreiben “S(f,F)”, oder auch einfach “S”) soll ja aus “f5 & F5” folgen; aber aus f5 & F5 folgt nicht, daß f und F durch eine 1–1 Relation R verbunden sind (dies werde ich “Π(f,F)” oder “Π” schreiben). Man hilft sich, indem man sagt, es bestehe dann eine Relation der Art      “x = a & y = b . ⌵ . x = c & y = d . ⌵ . u.s.w.”.
Aber, erstens, warum definiert man dann nicht gleich S als das Bestehen einer solchen Relation. Und wenn man darauf antwortet, diese Definition || Erklärung würde die Gleichzahligkeit bei unendlichen Anzahlen nicht einschließen, so ist zu sagen, daß dies nur auf eine Frage der “Eleganz” hinausläuft, da ich letzten Endes für endliche Zahlen meine Zuflucht doch zu den “extensiven” Beziehungen nehmen müßte. Aber diese führen uns auch zu nichts; denn, zu sagen, zwischen f und F bestehe eine Beziehung – z.B. – der Form x = a & y = b . ⌵ . x = c & y = d sagt nichts andres, als
     (∃x,y). φx & φy . & . ~(∃x,y,z). φx & φy & fz : & :      : & : (∃x,y).ψx & ψy . & . ~(∃x,y,z). ψx & ψy & ψz.
(Was ich in der Form schreibe .
Und, zu sagen, zwischen f und F bestehe eine der Beziehungen
x = a & y = b ; x = a & y = b . ⌵ . x = c & y = d ; etc. etc., heißt nichts andres als, es bestehe eine der Tatsachen f1 & F1 ; f2 & F2 ; etc. etc. Nun hilft man sich mit der größeren Allgemeinheit, indem man sagt, zwischen f und F bestehe irgend eine 1–1 Relation und vergißt, daß man dann doch für die Beziehung || Bezeichnung dieser Allgemeinheit die Regel festlegen muß, nach welcher “irgend eine Relation” auch die Relationen der Form x = a & y = b etc. einschließt. Dadurch, daß man mehr sagt, kommt man nicht drum herum, das Engere zu sagen, das in dem Mehr vorhanden sein soll. (Die Logik läßt sich nicht betrügen.)