Axiom of Foundation

$$\forall S:Set.\exists x\in S.\forall y\in S.y\notin x$$