Und dasselbe
muß der Fall sein, wenn man erklärt,
“(x).fx” sei
wahr, wenn f(
) für
alle Substitutionen wahr ist. Man
muß auch dazu schon den logischen
Mechanismus der Verallgemeinerung verstehen. Es ist
auch nicht so, daß man erst
ahn
ungslos ist und die Verallgemeinerung nun
durch die Erklärung erst zum
Funktionieren gebracht
wird. Wie wenn man in eine Maschine ein Rad einsetzt und
sie dann erst funktioniert (oder, die Maschine erst in
zwei getrennten Teilen da ist und sie nun erst durch das
Zusammensetzen als
diese Maschine
funktionieren).