Und zwar behauptet der Satz nicht, p sei beweisbar nach dem System S, sondern nach seinem Sy[ts|st]em, dem System von p. Dass p dem System S angehört, das lässt sich ni[v|c]ht behaupten, das muss sich zeigen.

✓ / \