I'd like to prove that $\forall x\left(x\not\in x\right)$ in the context of Morse-Kelley set theory.
Let's call $A=\left\{y:y\not\in y\right\}$. I can easily prove that $A\not\in A$. In fact, if you suppose that $A\in A$, it follows that $A\not\in A$ by definition of class comprehension. Since this is a contradiction, then the hypothesis is wrong, that is, $A\not\in A$. But I cannot do the same for an arbitrary class $k$, since I know nothing about $k$ and I cannot apply the definition of class comprehension.
Any ideas? Thanks.