Bei allen Recherchen habe ich keine Quelle gefunden, bei der erklärt ist, wie man das Aussonderungsaxiom alleine durch das Ersetzungsaxiom ohne Verwendung des Leermengenaxioms definieren kann. Somit braucht man das Aussonderungsaxiom oder das Nullmengenaxiom auf jeden Fall. D.h. ein "minimalen ZF-System" könnte die Axiome 1 und 4-9 verwenden. -- Zeus37 16:08, 17. Dez. 2009 (CET)