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