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