Es ist nun die Frage, || Es entsteht die Frage, wie ich in einem System beweisen
kann, daß die Rechnung in einem andern eine gültige Vorhersage ist?