Use the axiom of regularity to demonstrate that if $A$ and $B$ are two sets, then either $A\notin B$ or $B\notin A$ (or both): Proof Assistance
Prove that for any two sets $A$ and $B$, $A\notin B$ or $B\notin A$