Es genügt also nicht zu sagen “p ist beweisbar”, sondern es muss heissen: 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. Dass p dem System S angehört, das lässt sich nicht behaupten (das muss 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” heisst, sein System kennen. Tritt p scheinbar von einem System in das andere über, so hat in Wirklichkeit p seinen Sinn gewechselt.