Just got mind blown by axiom of regularity: ∀x[∃a(a∈x)⇒∃y(y∈x∧¬∃z(z∈y∧z∈x))]. Trying to see if this is sufficient to stop Russel's Paradox.