Wenn man erklärt, || : “(x) ∙ fx” sei wahr, wenn “f( )” für alle Substitutionen einen wahren Satz || wahre Sätze ergibt, – so bedenken wir, daß der Satz “(x) ∙ fx” aus dem Satz “‘f( )’ gibt für alle Substitutionen wahre Sätze” folgt, & umgekehrt dieser aus jenem. Die beiden Sätze sagen also das selbe.
     Jene Erklärung setzt also den Mechanismus
114
der Verallgemeinerung nicht erst aus seinen Teilen zusammen. –