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