Es ist gleichsam || etwa so: der Beweis eines alten Grundgesetzes setzt sonst das System der Beweise (einfach) nach rückwärts || hinten fort. Die Rekursionsbeweise aber setzen das System von algebraischen Beweisen (mit den alten Grundgesetzen) nicht nach hinten fort, sondern bilden || sind ein neues System das mit dem ersten nur parallel zu laufen scheint.