Zu ""Menge" bei ZF bedeutet in der ursprünglichen Mengenlehre: "Menge und Urelemente".": Ich glaube, diese Aussage von dir stimmt nicht. In ZFU/ZFCU ist eine Menge definiert als entweder etwas nichtleeres oder die Nullmenge. Und das wird auch in ZF/ZFC nicht anders sein. Ein Urelement ist also (auch in ZF/ZFC, so denke ich) keine Menge. Wie ist denn der Begriff "Menge" in ZF/ZFC definiert? Thomas Limberg (Schmogrow) 3 18:07, 1. Feb. 2015 (CET)