Die Frage ist, wie geht denn der Kalkül weiter, nachdem die Grundgesetze durch Induktion bewiesen sind?