Russells Antinomie und Klassen – Serlo „Mathe für Nicht-Freaks“

Aus Wikibooks

Du wirst dich vielleicht schon gewundert haben, warum wir die Cantorsche Mengendefinition „naiv“ genannt haben. Auf den ersten Blick sieht die Definition gut aus und bisher sind keine Probleme aufgetreten. Was sollte also schiefgehen? In diesem Artikel werden wir Russells Antinomie kennen lernen und wie diese über Klassen gelöst werden kann.

Russells Antinomie[Bearbeiten]

Ein Beispiel ist Russells Antinomie, die Bertrand Russell 1903 publizierte[1]:

Beispiel (Russellsche Antinomie)

sei die Menge aller Mengen, die sich nicht selbst enthalten:

Dann ist keine sinnvolle Menge.

Frage: Wieso definiert keine sinnvolle Menge?

Stelle dir vor, es gäbe eine Menge , die alle Mengen enthält, die sich nicht selbst enthalten. Ist dann ?

Wäre ein Element von sich selbst, dann muss die definierende Bedingung , erfüllen, also ist doch kein Element von sich selbst   ↯.

Ist , dann ist nach Definition von gerade   ↯.

Wir erhalten also sowohl für als auch für einen Widerspruch. Damit kann keine sinnvolle Menge sein.

Bereits Cantor kannte ähnliche Antinomien. Er glaubte aber nicht, dass seine Definition geändert werden müsse[2]. Er unterteilte hierzu Mengen in konsistente Vielheiten, bei denen eine Zusammenfassung zu einem Ganzen möglich ist und in inkonsistente Vielheiten, bei denen dies nicht der Fall ist. Da in Cantors Mengendefinition ausdrücklich von „Zusammenfassungen zu einem Ganzen“ die Rede ist, werden laut Cantor Mengenausdrücke ausgeschlossen, die nicht sinnvoll eine Menge definieren. Bertrand Russell kleidete die nach ihm benannte Antinomie im Übrigen in folgende Form:

Der Dorfbarbier ist derjenige, der alle Männer im Dorf rasiert, die sich nicht selbst rasieren. Frage: Rasiert der Dorfbarbier sich selbst?

Hier ergibt sich auf den erstem Blick ein ähnlicher Widerspruch, jedoch kann eine einfache Antwort gefunden werden: Der Dorfbarbier ist eine Frau! Diese Antwort hilft uns aus dem Dilemma. Völlig egal ob sie sich nun selbst rasiert oder nicht, entscheidend ist, dass sie kein Mann des Dorfs ist und die obige Aussage kann erfüllt werden.

Wie lösen wir diesen Widerspruch der Russellschen Antinomie? Formal kann die Argumentation dahinter folgendermaßen dargestellt werden:

  1. Allgemein gilt:  
  2. Setzen wir für ein, folgt:  
  3. Widerspruch:   ↯

Und nun sehen wir genau, wo das Problem entsteht: im zweiten Schritt setzen wir für die Russellsche Klasse ein. Dürfen wir das? Die Antwort ist Nein, das dürfen wir nicht! Die Variable steht für Objekte aus unserem Grundbereich. Das gilt sowohl für das in der Definition der Russellschen Klasse als auch für das in der Allaussage . Die Einsetzung für ist nur dann erlaubt, wenn das Objekt, das wir für einsetzen, zum Grundbereich gehört.

Damit finden wir die Lösung zur Russellschen Antinomie. Wir fordern, dass nicht zum Grundbereich gehört – genau so wie im obigen Beispiel der Barbier nicht zu den Männern des Dorfes gehört. Wir fordern also, dass keine Menge ist. Vielmehr führen wir hierfür ein neues Konzept ein: Wir nennen eine Klasse.

Definition (Russelsche Klasse)

Klassen sind generell alle Ausdrücke der Form . Wie wir gesehen haben, können nicht alle diese Ausdrücke sinnvoll eine Menge beschreiben. Wenn dies möglich ist, dann ist die Klasse eine Menge und wenn nicht – wie im Fall der Russell-Klasse – erhalten wir eine echte Klasse. Um alle Mengen zu bezeichen, definieren wir die Allklasse :

Definition (Allklasse)

steht für unseren Grundbereich, wir dürfen also nur dann für die Variable einsetzen, wenn gilt. Mit dieser Voraussetzung sieht die korrekte Argumentation dann so aus:

  1. Allgemein gilt:  
  2. Setzen wir für ein, folgt:  
  3. Logische Folgerung für :

Die Russelsche Klasse kann also nicht zum Grundbereich gehören! Russell entwickelte zur Lösung des Problems von 1903 bis 1908 eine Typentheorie, in der die Klassenbildung stark eingeschränkt wurde. In der Mathematik hat sich aber ein freizügiger Gebrauch von durchgesetzt. Das ist möglich, wenn zwischen Klassen und Mengen unterschieden wird.

Klassen[Bearbeiten]

Die Russellsche Antinomie lehrt, dass die Operation aus dem Variablenbereich hinausführen kann! Das ist beispielsweise bei der Subtraktion auf den natürlichen Zahlen genauso. Sind und zwei natürliche Zahlen, so ist die Differenz keineswegs immer eine natürliche Zahl. Vielmehr liefert die Differenz neue Objekte. Die neuen Objekte, die durch die Subtraktion von natürlichen Zahlen gebildet werden können, sind die negativen ganzen Zahlen.

Ähnlich verhält es sich mit der Operation . Diese führt zu Objekten, die keine Mengen sind. Die Objekte, die mit erzeugt werden können, werden „Klassen“ genannt:

Definition (Klasse)

Eine Klasse ist ein Objekt der Form , wobei eine Aussageform ist.

Die Elemente der Klasse sind genau die Objekte , die die Formel erfüllen. Gilt für ein Objekt nicht, so ist kein Element von . Je nachdem ob zutriffe oder nicht, gilt oder . Dieser Zusammenhang zwischen der Klassenbildung und der Elementrelation wird Abstraktionsprinzip genannt:

Abstraktionsprinzip:

Es definiert die Klassenbildung, wie wir jetzt – vorsichtig geworden! – anstelle von Mengenbildung sagen. Das Abstraktionsprinzip wurde bereits im Kapitel Mengenschreibweisen beschrieben. Und natürlich gilt es auch für Mengen!

Mengen sind spezielle Klassen und alles, was wir bisher über Mengen gesagt haben, gilt auch für Klassen. Klassen, die keine Mengen sind, werden echte Klassen genannt. Russels Antinomie lehrt also, dass es echte Klassen gibt. Mit der Unterscheidung zwischen Klassen und Mengen konnten wir die Russellsche Antinomie auflösen. Der entscheidende Unterschied zwischen Mengen und Klassen liegt darin, dass Mengen als mögliche Werte für Variable auftreten können, echte Klassen dagegen nicht.

Aber was macht uns sicher, dass mit der Unterscheidung von Mengen und Klassen die Probleme der naiven Mengenlehre behoben sind? Können nicht irgendwelche Widersprüche an anderer Stelle auftreten?

Minimales Modell für die Klassen
Minimales Modell für die Klassen

Dazu betrachten wir ein ganz einfaches Modell der Klassenbildung und der Elementrelation . Der Variablenereich hat nur ein einziges Element . Es gibt ein weiteres Objekt , dass ausserhalb von liegt. Weitere Objekte gibt es nicht. Der einelementige Bereich hat genau zwei Teilklassen: die leere Klasse und die Klasse .

Definition (Leere Klasse)

Für die Elementrelation gibt es dann zwei Möglichkeiten:

Verständnisaufgabe: Welche Beziehungen mit und gelten in den beiden Fällen zwischen , , , und ?

Lösungen:

  1. Ist     so ist   a =   und   = = = .
  2. Ist     so ist   a = =   und   = = .

Die beiden Modelle für zeigen, dass wir von keiner Klasse erwarten können, dass sie eine Menge ist, das heißt, dass sie im Variablenbereich liegt. Im ersten Modell ist die Allklasse eine echte Klasse und die leere Klasse eine Menge. Im zweiten Modell ist es gerade umgekehrt.

Viele Teile der Mathematik kommen mit der hier vorgestellten naiven Mengenlehre (die genauer Klassenlehre heißen sollte, wie wir jetzt wissen) aus. Doch für viele andere Teile der Mathematik werden Mengen benötigt oder sind zumindest hilfreich. Die Existenz von Mengen wird durch Axiome gewährleistet, die sicherstellen, dass bestimmte Klassen Mengen sind. Solche Axiome werden wir im nächsten Abschnitt vorstellen.

Zuvor wollen wir die formale Sprache genauer festlegen, die wir hier verwenden. Das ist deshalb wichtig, weil die Klassenbildung davon abhängt, welche Aussageformen wir zur Verfügung haben.

Wir legen eine Sprache zu Grunde, die folgendes enthält:

  • die Variablen
  • die Junktoren
  • die Quantoren
  • die Klassenbildung
  • die Relationen

Aussagenformen bezeichnen wir mit und Klassen mit . Die Russelsche Klasse , die Allklasse und die leere Klasse haben wir bereits definiert. In der Literatur werden Sprachen, die die Klassenbildung erlauben, Klassenlogik genannt.

Hinweis

Wir nennen die Klasse dann eine Menge, wenn sie im Variblenbereich, also in der Allklasse liegt: .