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