Wie wäre es, wenn man sagte: “Nicht jedes System von Regeln bestimmt einen Kalkül”. Als Beispiel gäbe man die Division durch 0: Denken wir uns nämlich eine Arithmetik, in der sie erlaubt wäre, & daher bewiesen werden könnte, jede Zahl sei gleich der andern.