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



das gelungen, so kann ich allerdings nun eine Konstruktionsregel gebrauchen die lautet nimm diese Glieder von B & setze ein Gleichheitszeichen [D|d]azwischen & so A konstruieren.