Wie aber wenn man sagt: die Axiome und Schlußweisen sollen doch so gewählt werden, daß sie keinen falschen Satz beweisen können?