Denn die allgemeine Form R wird wirklich nicht dazu benützt B zu konstruieren. Dazu dient α. Es wird ein Satz von der Form R durch || mit α konstruiert. ¤
R
Man konstruiert doch neues damit – man konstruiert doch was damit!) ∣



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.