Gut, der fragliche Satz ist gestrichen. Die notwendige Information, dass 0 das einzige Urelement ist, genügt ja. Sie zeigt, dass das Extensionalitätsaxiom bewirkt, dass es nur Entitäten mit Extension gibt, d.h. nur Mengen. Wilfried Neumaier 11:13, 28. Feb. 2015 (CET)