Der Fehler (Zirkel) in der Dedekind'schen Erklärung des Unendlichkeitsbegriffes liegt in der Anwendung des Begriffs “alle” in der formalen Implikation. Es scheint nämlich eine formale Implikation zu geben, die – wenn man so sagen dürfte – unabhängig davon gilt, ob unter ihre Begriffe eine endliche oder unendliche Zahl von Gegenständen fällt. Sie sagt einfach: Wenn das Eine von einem Gegenstand gilt, so gilt auch das Andere. Sie sieht die Gesamtheit der Gegenstände gar nicht an, sondern sagt nur etwas von dem Gegenstand aus, der ihr gerade vorgelegt wird, und ihre Anwendung ist endlich oder unendlich, je nachdem.
     Wie könnten wir aber einen solchen Satz wissen? – Wie wird der verifiziert? Was dem, was wir meinen, wirklich entspricht ist gar kein Satz, sondern der Schluß von Fx auf ψx, wenn dieser Schluß gestattet ist – aber der wird nicht durch einen Satz ausgedrückt.