Wenn man erklärt, : “(x) ∙ fx” sei wahr, wenn “f( )” für alle Substitutionen einen wahren S[a|ä]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 Mechanis-
114
mus der Verallgemeinerung nicht erst aus seinen Teilen zusammen. –