正則性公理

正則性公理。必要？
\(\text{ax_r}\)【\(\forall X \neq \emptyset . \exists Y \in X . X \cap Y = \emptyset\)】
axr! = axr / emp.. / cap.
\(\text{wfs}_1\)【\(X \notin X\)】\(\,{\blacktriangleleft}\,\mathbb{D}.{\bf ,}\,\text{ax_r}\)
\(\text{wfs}_2\)【\(\neg ( X \in Y \in X )\)】

構造付き集合