Cantorsche Antinomie
Georg Cantor beschrieb in den Jahren 1897 bis 1899 mehrere Antinomien, durch die er bewies, dass bestimmte Klassen keine Mengen sind. Seine Beweise belegen, dass er keinen naiv-widersprüchlichen Mengenbegriff hatte, was wegen Cantors Mengendefinition oft behauptet wird. Er trennte schon Mengen als konsistente Vielheiten von inkonsistenten Vielheiten,[1] die heute echte Klassen heißen. Weil Cantor seine Antinomien nicht veröffentlichte, sondern nur brieflich an David Hilbert und Richard Dedekind mitteilte, wurde seine Mengenlehre oft fälschlich als naive Mengenlehre eingeschätzt. Erst die Publikation seiner Briefe 1932 durch Zermelo machte bekannt, dass dem Erfinder der Mengenlehre schon sehr früh die Antinomie-Problematik bewusst war. Cantors Mengenaxiome aus ebendiesen Briefen bilden die älteste bemerkenswerte Lösung der Problematik.
Erste Cantorsche Antinomie
Bearbeiten1897 zeigte Cantor, dass die Klasse aller (transfiniten) Kardinalzahlen, die „Totalität aller Alephs“, keine Menge, sondern eine echte Klasse ist, über einen indirekten Beweis: Wäre diese Totalität eine Menge, würde es ein größeres Aleph geben, das als Element zu dieser Totalität gehören würde und nicht gehören würde.[2] Cantor wurde diese Antinomie erst in den letzten Jahren bewusst: 1890 erklärte er den „Inbegriff aller Mächtigkeiten“ noch als „wohlgeordnete Menge“.[3]
Die erste Cantorsche Antinomie ist zu unterscheiden vom Burali-Forti-Paradoxon aus demselben Jahr, mit dem Burali-Forti die Klasse aller Ordinalzahlen als Nichtmenge nachwies. Cantor beschrieb zwar auch diese Antinomie, aber erst 1899 in einem unpublizierten Brief.[4] In ihm stellte er anschließend die Kardinalzahl-Antinomie nochmals als Verschärfung des Burali-Forti-Paradoxons dar.
Zweite Cantorsche Antinomie
Bearbeiten1899 zeigte Cantor über einen indirekten Beweis, dass „der Inbegriff alles Denkbaren“ oder „das System aller denkbaren Klassen“, die sogenannte Allklasse, keine Menge ist: Wäre die Allklasse eine Menge, dann wäre die Potenzmenge der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der Satz von Cantor verlangt.[5] Damit bewies er, dass die Allklasse eine echte Klasse ist.
Einzelnachweise
Bearbeiten- ↑ Brief von Cantor an Dedekind vom 3. August 1899. In: Georg Cantor: Briefe. Herausgegeben von Herbert Meschkowski und Winfried Nilson. Springer, Berlin u. a. 1991, ISBN 3-540-50621-7, S. 407.
- ↑ Brief von Cantor an Hilbert vom 26. September 1897. In: Georg Cantor: Briefe. Herausgegeben von Herbert Meschkowski und Winfried Nilson. Springer, Berlin u. a. 1991, ISBN 3-540-50621-7, S. 388.
- ↑ Georg Cantor: Über eine elementare Frage der Mannigfaltigkeitslehre. In: Deutsche Mathematiker-Vereinigung (Hrsg.): Jahresbericht der Deutschen Mathematiker-Vereinigung. Band 1. Reimer, 1892, ISSN 0012-0456, S. 75–78 (uni-goettingen.de – Zitat auf S. 77 unten).
- ↑ Brief von Cantor an Dedekind vom 3. August 1899. In: Georg Cantor: Briefe. Herausgegeben von Herbert Meschkowski und Winfried Nilson. Springer, Berlin u. a. 1991, ISBN 3-540-50621-7, S. 408.
- ↑ Brief von Cantor an Dedekind vom 3. August 1899 und 30. August 1899. In: Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor-Dedekind. Herausgegeben von Ernst Zermelo. Springer, Berlin 1932, S. 448 (System aller denkbaren Klassen), und in: Georg Cantor: Briefe. Herausgegeben von Herbert Meschkowski und Winfried Nilson. Springer, Berlin u. a. 1991, ISBN 3-540-50621-7, S. 407 (Inbegriff alles Denkbaren).