This axiom implies that a set cannot belong to itself: Assume that formula_138 and let formula_139 Then formula_140 since formula_141 This contradicts the axiom of regularity because formula_49 is the only element in formula_143 Therefore, formula_144 The axiom of regularity also prohibits infinite descending membership sequences: formula_145