Wenn
gesagt
gefragt
wird: “der Satz ‘(n).fn’ folgt aus der Induktion” heisse nur: jeder Satz der Form f(n) folge aus der Induktion; – “der Satz ‘(En). non-f(n)’
widerspricht
widerspreche
der Induktion” heisse nur: jeder Satz der Form non-f(n) werde durch die Induktion widerlegt, – so kann man sich damit zufrieden geben // so kann man damit einverstanden sein // , aber wird jetzt fragen: Wie gebrauchen wir den Ausdruck “der Satz (n).f(n)” richtig? Was ist seine Grammatik. (Denn daraus, dass ich ihn in gewissen Verbindungen gebrauche, folgt nicht, dass ich ihn überall dem Ausdruck “der Satz (x).fx” analog gebrauche.)