Und dasselbe muss der Fall sein, wenn man erklärt,
“(x).fx” sei wahr, wenn
f( ) für alle Substitutionen
wahr ist.
Man muss auch dazu schon den logischen
Mechanismus der Verallgemeinerung verstehen.
Es ist auch nicht so, dass man erst ahnungslos 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
erst funktioniert (oder, die Maschine erst in zwei
getrennten Teilen da ist und sie nun erst durch das Zusammensetzen als
diese Maschine funktionieren).