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