Russell'sches Paradox

Der Ausdruck {x∣x∉x} stellt keine gültige Menge dar. Der Grund dafür ist vereinfacht gesagt, dass zur Definition eine zirkuläre Mengenhierarchie notwendig wäre.