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