6.001 Dies sagt nichts anderes, als dass jeder Satz ein Resultat der successiven Anwendung der Operation [math]\displaystyle{ N' (\bar{\xi}) }[/math] auf die Elementarsätze ist.