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

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 AntinomieBearbeiten

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.

KlassenBearbeiten

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?

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  ?

  1.  
  2.  

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:  .