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