Axiomatische Mengenlehre - LinkFang.de





Axiomatische Mengenlehre


Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). Die älteste Axiomatisierung stammt von Georg Cantor, dem Gründer der Mengenlehre.

Geschichte und Ausprägungen

Erste Axiomatisierungen der Mengenlehre wurden schon vor der Entdeckung der Mengen-Antinomien versucht, nämlich 1888 von Richard Dedekind und 1893 von Gottlob Frege, die beide die Arithmetik auf einem Mengen-Kalkül aufbauten. Da sich aber beide Kalküle wegen Axiomen, die unbegrenzte Mengenbildung ermöglichen, als inkonsistent erwiesen, rechnet man sie zur naiven Mengenlehre. Unter axiomatischer Mengenlehre versteht man also nur solche Axiomatisierungen, die durch restriktivere Mengenbildung diese Widersprüche der naiven Mengenlehre zu vermeiden suchen.

Zur Vermeidung von Widersprüchen schlug Bertrand Russell einen stufenweisen Aufbau der Mengenlehre vor und entwickelte 1903–1908 seine Typentheorie, die auch als Basis der Principia Mathematica 1910 diente. In ihr hat eine Menge stets einen höheren Typ als ihre Elemente. Unter anderem lässt sich die Aussage, eine Menge enthalte sich selbst als Element, mit der die Russellsche Antinomie gebildet wird, in dieser Theorie gar nicht formulieren. Die Typentheorie versucht also, durch eine eingeschränkte Syntax der zulässigen Klassen-Aussagen die Probleme zu lösen. Sie hat bei Russell selbst noch keine axiomatische Form, sondern wurde erst später zu einer relativ komplizierten axiomatischen Theorie ausgebaut. Ihre Widerspruchsfreiheit wurde von Paul Lorenzen nachgewiesen. Die Widerspruchsfreiheit der auf der Typentheorie aufbauenden Principia Mathematica ist aber aufgrund Gödels Unvollständigkeitssatz nicht beweisbar. Die Typentheorie der Principia Mathematica war in der Logik lange Zeit maßgebend, konnte sich aber in der Mathematikpraxis nicht durchsetzen, einerseits wegen ihrer Kompliziertheit und andererseits wegen ihrer Unzulänglichkeit. Sie genügt nämlich nicht, um Cantors Mengenlehre und die Mathematik zu begründen, da ihre sprachlichen Mittel zu schwach sind.

In der Mathematikpraxis setzte sich vielmehr im 20. Jahrhundert nach und nach die von Ernst Zermelo initiierte Form der axiomatischen Mengenlehre durch. Die Zermelo-Mengenlehre von 1907 ist sowohl die Grundlage der Zermelo-Fraenkel-Mengenlehre (ZFC) als auch alternativer Axiomensysteme. ZFC ergibt sich durch Ergänzung von Abraham Fraenkels Ersetzungsaxiom von 1921 und Zermelos Fundierungsaxiom von 1930. Die ursprünglich verbalen Mengenaxiome von Zermelo-Fraenkel wurden unter dem Einfluss von Hilberts Programm, das die Widerspruchsfreiheit grundlegender Axiomensysteme der Mathematik sichern sollte, später streng formalisiert. Die erste Formalisierung (ZFC ohne Fundierung) von Thoralf Skolem aus dem Jahr 1929[1] gab den Anstoß für moderne prädikatenlogische ZFC-Axiomensysteme. In ZFC konnte bisher kein Widerspruch mehr abgeleitet werden. Nachweislich widerspruchsfrei ist aber nur die allgemeine Mengenlehre, das ist nach Fraenkel die ZFC-Mengenlehre ohne Unendlichkeitsaxiom,[2][3] für sie gab Zermelo 1930 ein Modell an.[4] Für die komplette Zermelo-Fraenkel-Mengenlehre ließ sich Hilberts Programm aber nicht durchführen, da Gödels Unvollständigkeitssatz auch für sie gilt, so dass ihre Widerspruchsfreiheit unbeweisbar innerhalb der Zermelo-Fraenkel-Mengenlehre ist.

Die Widerspruchsfreiheit relativ zur Zermelo-Fraenkel-Mengenlehre ist auch für viele Erweiterungen, Verallgemeinerungen und Modifikationen gesichert. Zu ihnen gehört die Mengenlehre von John von Neumann von 1925, die auf dem Funktionsbegriff statt auf dem Mengenbegriff aufbaut und nicht nur Mengen, sondern auch echte Klassen einbezieht.[5] Sie bildete den Ausgangspunkt für die Neumann-Bernays-Gödel-Mengenlehre, die ZFC für Klassen verallgemeinert und mit endlich vielen Axiomen auskommt, während ZFC Axiomenschemata benötigt. Noch allgemeiner ist die Ackermann-Mengenlehre von 1955, die Cantors Mengendefinition präzise axiomatisch zu interpretieren versucht. Arnold Oberschelp bettete 1974 ZFC in eine allgemeine axiomatische Klassenlogik ein, so dass seine Mengenlehre eine bequeme, syntaktisch korrekte Darstellung mit beliebigen Klassentermen erlaubt.

Zu den bekannten Axiomatisierungen, die sich nicht an Cantor oder Zermelo-Fraenkel orientieren, sondern an der Typentheorie, gehört die Mengenlehre von Willard Van Orman Quine, insbesondere dessen New Foundations (NF) aus dem Jahr 1937 oder deren Erweiterung Mathematical Logic (ML) aus dem Jahr 1940.

Cantors Mengenaxiome

Die älteste vollwertige Axiomatisierung der Mengenlehre stammt von Cantor selbst aus den Jahren 1898/99. Er teilte seine Mengenaxiome mit den Cantorschen Antinomien zusammen Hilbert und Dedekind brieflich mit. Sie wurden allerdings erst ab 1932 publiziert, so dass sie historisch nicht zur Wirkung kamen. Er formulierte unter anderem folgende fünf Axiome:

  • Bildmengenaxiom: „Substituiert man in einer fertigen Menge an Stelle der Elemente fertige Mengen, so ist die hieraus resultierende Vielheit eine fertige Menge.“[6]
  • Teilmengenaxiom: „Jede Theilvielheit einer Menge ist eine Menge“.[7]
  • Potenzmengenaxiom: „Die Vielheit aller Theilmengen einer fertigen Menge M ist eine fertige Menge.“[6]
  • Vereinigungsmengenaxiom: „Jede Menge von Mengen ist, wenn man die letzteren in ihre Elemente auflöst, auch eine Menge.“[7]
  • Abzählbarkeitsaxiom: „Daß die ‚abzählbaren‘ Vielheiten {αν} fertige Mengen sind, scheint mir ein axiomatisch sicherer Satz zu sein.“[6] Der Index ν steht für endliche Kardinalzahlen.

In der Mengenlehre, die Cantor publizierte, nannte er solche Mengenaxiome nicht, sondern wandte sie stillschweigend an. Man findet dort aber auch gelegentlich Axiome, darunter:

  • Wohlordnungsaxiom: „Daß es immer möglich ist, jede wohldefinierte Menge in die Form einer wohlgeordneten Menge zu bringen, [...].“[8]

Cantors Mengenaxiome sind gleichwertig mit ZFC ohne Fundierung: Das Bildmengenaxiom ist gleichwertig zu Fraenkels Ersetzungsaxiom, das Teilmengenaxiom gleichwertig zu Zermelos Aussonderungsaxiom, das Abzählbarkeitsaxiom ist gleichwertig zu Zermelos Unendlichkeitsaxiom, das Wohlordnungsaxiom ist gleichwertig zu Zermelos Auswahlaxiom.

Literatur

Siehe auch

Einzelnachweise

  1. Thoralf Skolem: Über einige Grundlagenfragen der Mathematik (1929). In: Selected works in logic. Oslo 1970, S. 227–273.
  2. Abraham Fraenkel: Axiomatische Theorie der geordneten Mengen. In: Journal für die reine und angewandte Mathematik. Band 155, 1926, S. 129–158, speziell S. 132 f.
  3. Wilhelm Ackermann: Die Widerspruchsfreiheit der allgemeinen Mengenlehre, 1936, In: Mathematische Annalen. 114 (1937), S. 305-315
  4. Ernst Zermelo: Grenzzahlen und Mengenbereiche. In: Fundamenta Mathematicae. Band 16, 1930, S. 29–47, speziell S. 44.
  5. John von Neumann: Eine Axiomatisierung der Mengenlehre. In: Journal für die reine und angewandte Mathematik. Band 154, 1925, S. 219–240.
  6. 6,0 6,1 6,2 Brief von Cantor an Hilbert vom 10. August 1898 in: Georg Cantor, Briefe, ed. H. Meschkowski und W. Nilson, Berlin, Heidelberg, New York 1999, S. 396; Abkürzung fert. M. oben ausgeschrieben.
  7. 7,0 7,1 Brief von Cantor an Dedekind vom 3. August 1899 in: Georg Cantor, Briefe, ed. H. Meschkowski und W. Nilson, Berlin, Heidelberg, New York 1999, S. 407.
  8. Georg Cantor: Über unendliche Punktmannichfaltigkeiten, Artikel 5, in: Mathematische Annalen 21 (1883), S. 550; dort als grundlegendes Denkgesetz bezeichnet.


Kategorien: Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Axiomatische Mengenlehre (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.