Extensionalitetsaxiomet

Extensionalitetsaxiomet är ett av de mängdteoretiska axiomen. Det är till exempel ett av axiomen i Zermelo-Fraenkels mängdteori, med urvalsaxiomet som är det dominerande sättet att axiomatisera mängdteori.

Uttryckt med predikatlogikens formella språk lyder axiomet:

${\displaystyle \forall A\forall B(A=B\leftrightarrow (\forall C(C\in A\leftrightarrow C\in B))}$

Med ord kan axiomet uttryckas:^[1]

För varje mängd A och B gäller att, A är lika med B om och endast om det för varje mängd C gäller att C är ett element i A om och endast om det också är ett element i B.

Mindre formellt betyder axiomet helt enkelt att mängderna A och B är lika om och endast om de består av precis samma element, d.v.s.

En mängd bestäms unikt av sina element.

Man kan se axiomet som ett sätt att definiera vad som menas med att två mängder är lika.