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