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 nicht so daß man erst ahnungslos ist & die Verallgemeinerung nun durch die Erklärung erst zum Funktionieren gebracht wird. Wie wenn man in eine Maschine ein Rad einsetzt & sie dann erst funktioniert (oder die Maschine erst in zwei getrennten Teilen da ist & sie nun erst durch das Zusammensetzen als diese Maschine funktionieren).