Es genügt also nicht zu sagen p ist beweisbar, sondern es muss heissen: Beweisbar nach einem bestimmten System.