Was hälst Du von diesem Vorschlag? Könntest Du eine Quelle finden, die so vorgeht. Falls es sie gibt, findet man dort vielleicht auch eine Begründung, warum die Extensionalität-Definition nicht ausreicht. Man müsste dann auch den Artikel Mengenlehre" korrigieren. ---- Inzwischen habe ich selbst von einem Mathematiker, bei dem ich Mengenlehrte früher hörte, ein Buch gefunden, das - abgesehen von der etwas anderen Darstellung - auf die Definitionsmöglichkeit eingeht und auch beide Definitionen kombiniert, nämlich: Walter Felscher: Naive Mengen und abstrakte Zahlen, Bd. 1, S. 78-80. Das bestätigt die Notwendigkeit beider Formeln. Der eben genannte Vorschlag ist aber vorzuziehen, weil er nur eine Definition benützt und die Extensionalität als Axiom bestehen lässt.-- Wilfried Neumaier 15:29, 21. Jan. 2008 (CET)