Der rekursive Beweis reduziert die Anzahl der Grundgesetze nicht.