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 Mechanis
mus
114
der Verallgemeinerung nicht erst aus seinen Teilen
zusammen. –