Es genügt also nicht zu sagen p ist beweisbar, sondern es muß heißen: Beweisbar nach einem bestimmten System.