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 & ist darum eine andere.