Definition

Die Menge aller Mengen, welche sich nicht selbst enthalten.
Logisch nicht möglich.

Daher wurde “wohdefinierte” zur Definition von Menge hinzugefügt.