Ein mengentheoretisches Paradoxon, das zeigt, dass unbeschränkte Komprehension (das Bilden der Menge aller Elemente, die eine beliebige Eigenschaft erfüllen) zur Widersprüchlichkeit führt, klassisch demonstriert durch R = {x | x ∉ x}.

Prinzip

Wenn jede beschreibbare Kollektion von Objekten eine Menge ist, führt die Betrachtung der Kollektion aller Mengen, die sich nicht selbst enthalten, zu einer Mitgliedschaftsfrage über diese Kollektion, die beim Nachfragen ‚Gehört R zu R?‘ in einen Widerspruch mündet.

Demonstration

Sei R = {x | x ∉ x}. Ist R ∈ R, so folgt per Definition R ∉ R; ist R ∉ R, so folgt per Definition R ∈ R. Jede Antwort widerspricht dem Komprehensionsprinzip, das die Bildung von R erlaubte, und offenbart die Inkonsistenz der naiven Mengenbildung.

Fehlanwendung

Die unbeschränkte Komprehension in formalen Mengentheorien anzuwenden oder anzunehmen, Klassen und Mengen seien beliebig austauschbar; oder das Paradoxon als bloß sprachliches Problem abzutun statt als grundlegendes Problem für axiomatische Entscheidungen.

Konsequenz

Führte zu axiomatischen Abhilfen: Komprehension einschränken (Scheidungsschema), Typentheorie einführen oder Mengen und echte Klassen unterscheiden; moderne Mengentheorien (z. B. ZF) umgehen das Paradoxon durch Beschränkung der Bildungsschemata.

Umkehrung

Würde die Komprehension unbeschränkt bleiben, würde die Mathematik inkonsistent; die Umkehr besteht darin, eine hierarchische oder typisierte Ontologie anzunehmen, in der die problematische Konstruktion schlichtweg unwohlgeformt ist statt paradox.

Abgrenzung

Betrifft naive Mengentheorien, die die Bildung von Mengen aus beliebigen Eigenschaften zulassen. Es betrifft nicht Theorien, die Bildungsbeschränkungen auferlegen, noch Kontexte, in denen Kollektionen ausdrücklich als Klassen mit anderen Regeln behandelt werden.

Semantische Spannung

Spannung zwischen der intuitiven Vorstellung, jede beschreibbare Kollektion solle eine Menge sein, und der technischen Notwendigkeit, Mengenbildung einzuschränken, um Widersprüche zu vermeiden; dies konfrontiert naive Ontologie mit rigoroser Axiomatik.

Synthese

Russells Paradoxon markiert eine Grenze der Mengenbildung: naive Komprehension erzeugt Widersprüche, daher müssen konsistente Grundlagenrahmen die Regeln zur Mengenbildung (durch Axiome, Typen oder Klassen-/Mengenunterscheidung) einschränken, um Konsistenz zu sichern.