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
zum andern || in das andere über, so
hat in Wirklichkeit p seinen Sinn
gewechselt.