6.001

Dies sagt nichts anderes, als dass jeder Satz ein Resultat der successiven Anwendung der Operation N’(ξ) auf die Elementarsätze ist.