Extensionalitätsaxiom

Ein grundlegendes Axiom der (standardmäßigen) Mengenlehre, das besagt, dass zwei Mengen genau dann identisch sind, wenn sie dieselben Elemente haben: für Mengen A und B gilt A = B genau dann, wenn jedes x genau dann in A ist, wenn x in B ist.