Dies sagt nichts anderes, als daß jeder Satz ein Resultat der sukzessiven Anwendung der Operation N'(x) auf die Elementarsätze ist.