6.001

This says nothing else than that every proposition is the result of successive applications of the operation N’(ξ) to the elementary propositions.