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