Wenn gesagt 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)’ widerspreche // widerspricht // 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 wirdn 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.)