Template:Individual-TLP-paragraph-en-6.001
6.001 This says nothing else than that every proposition is the result of successive applications of the operation to the elementary propositions.
6.001 This says nothing else than that every proposition is the result of successive applications of the operation to the elementary propositions.