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