Es genügt also nicht zu sagen „p ist beweisbar”, sondern es muss 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. D 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
zum andern
über, so hat in Wirklichkeit p seinen Sinn gewechselt.