Jump to user comments
The axiom of foundation states that the membership relation is
well founded, i.e. that any non-empty collection Y of sets has
a member y which is disjoint from Y. This rules out sets
which contain themselves (directly or indirectly).