Genau so ist es. Alle Mengen können Elemente anderer Mengen sein. Mensch=Vereinigung von {Männer, Frauen, Kinder} wäre ein anschauliches Beispiel. In der "reinen" Mengenlehre sind alle Elemente sogar automatisch Mengen. Dazu braucht es kein Axiom. ZF ist heute eine "reine" Mengenlehre. Menschen als Mengen aufzufassen, würde sicher nicht allgemeine Anerkennung finden. Man würde sie eher als Urelemente einstufen. Dazu bräuchte man aber eine Mengenlehre, die das erlaubt. ZF war das ursprünglich. Lies oben die Diskussion zum Thema "Urelement" und auch die historische Einleitung im Artikel und eventuell weiterführende Links.-- Wilfried Neumaier 21:58, 11. Jun. 2011 (CEST)