Extensionalitätsaxiom (Mengenlehre)

früher auch als Bestimmtheitsaxiom bezeichnetes Axiom, welches besagt, dass eine Menge durch ihre Elemente bestimmt ist. Daraus folgt: Stimmen Mengen in allen ihren Elementen überein, so sind sie gleich.