Und dasselbe muß der Fall sein, wenn man erklärt, “(x).fx” sei wahr, wenn f( ) für alle Substitutionen wahr ist. Jeder dieser beiden Sätze folgt aus dem anderen, drum sind sie identisch. Man muß auch dazu schon den logischen Mechanismus der Verallgemeinerung verstehen. Es ist (auch) nicht so, daß 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 dann || nun erst funktioniert (oder, die Maschine erst in zwei getrennten Teilen da ist und sie nun erst durch das Zusammensetzen als diese Maschine funktionieren).