Entschuldigung, es ist ganz eindeutig genau umgekehrt, ich hatte um Mitternacht offenbar einen Blackout: Aussonderung = Axiom schema of specification Ersetzung = Axiom schema of replacement -- Wilfried Neumaier 22:36, 4. Aug. 2009 (CEST)