6.001

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

519