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,
640
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.