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.