6.001 This says nothing else than that every proposition is the result of successive applications of the operation [math]\displaystyle{ N (\bar{\xi}) }[/math] to the elementary propositions.