**Axiom** Whenever A is a nonempty set, there is a set y in A such that the intersection of y and A is empty.

Pick any set. If it's not empty, you can choose any of its members, and if that set isn't empty you can choose one of *its *members, and so on. From the axiom of foundation it can be shown that this process must eventually (ie. after finitely many steps) finish, when you have to pick the empty set.

Consequently, you can't have any set being a member of itself, or sets a and b such that a is in b and b is in a, or any nonsense like that.

Without the axiom of foundation, it's consistent that there is a set a such that a={a}. You can't actually construct such a set, but you can't prove it's not there either.