Und zwar behauptet der Satz nicht, p sei beweisbar nach dem System S, sondern nach seinem System, dem System von p. Daß p dem System S angehört, das läßt sich nicht behaupten, das muß sich zeigen.