678
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.