Gelijkheidsaxioma

In de verzamelingenleer stelt het gelijkheidsaxioma, of de grondstelling van extensionaliteit, dat twee verzamelingen gelijk zijn als ze precies dezelfde elementen hebben.

Formele verklaring

In de taal van de predicatenlogica, waarin de symbolen $\in$, de existentiële kwantor $\exists$, de universele kwantor $\forall$, en de logische symbolen $\lor ,\land ,\neg$ worden gebruikt, kan het gelijkheidsaxioma als volgt geformuleerd worden:

$\forall x\forall y\,(x=y\Longleftrightarrow \forall z\,(z\in x\Longleftrightarrow z\in y))$

In woorden: twee verzamelingen $x$ en $y$ zijn gelijk aan elkaar, dan en slechts dan, als elk element van $x$ ook een element is van $y$ en omgekeerd elk element van $y$ ook een element is van $x$.