Es genügt also nicht zu sagen “p ist beweisbar”, sondern es muß heißen: beweisbar nach einem bestimmten System.
     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). – Man kann nicht sagen, p gehört zum System S; man kann nicht fragen, zu welchem System p gehört; man kann nicht das System von p suchen. “p verstehen” heißt, sein System kennen. Tritt p scheinbar von einem System in das andere über, so hat in Wirklichkeit p seinen Sinn gewechselt.