Template:Individual-TLP-paragraph-en-6.1265

6.1265 Logic can always be conceived to be such that every proposition is its own proof.