Die Frage ist, wie geht denn der Kalkül weiter, nachdem die Grundsätze gesetze durch Induktion bewiesen sind?