State/No set is an element of itself

 =Proof= We argue by contradiction as follows:

Thus, if $X$ is a set, then $X \not \in X$.

=Metadata=