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