Is there any connection between the symbol $\supset$ when it means implication and its meaning as superset?
Why is there this strange contradiction between the language of logic and that of set theory?