Wie ein Satz verifiziert wird, das sagt er. Vergleiche die Allgemeinheit der eigentlichen Sätze mit der Allgemeinheit in der Arithmetik. Sie wird anders verifiziert und ist darum eine andere.