Denn die allgemeine Form R wird wirklich nicht dazu benutzt B zu
konstruieren. Dazu dient α. Es wird ein Satz von der Form R durch α konstruiert. Ist das gelungen, so kann ich allerdings nun eine Konstruktionsregel gebrauchen, die lautet: ¤ „nimm diese Glieder von B & setze ein Gleichheitszeichen dazwischen”, & so A konstruieren.