Burali-Forti-Paradoxon

Burali-Forti-Paradoxon

Das Burali-Forti-Paradoxon beschreibt in der naiven Mengenlehre den Widerspruch, an dem die Bildung der Menge aller Ordinalzahlen scheitert. Es ist nach seinem Entdecker Cesare Burali-Forti benannt, der 1897 zeigte, dass eine solche "Menge aller Ordinalzahlen" selbst einer Ordinalzahl \,\Omega entspräche, zu der eine größere Nachfolger-Ordinalzahl \,\Omega + 1 gebildet werden könnte, die kleiner oder gleich \,\Omega wäre, woraus die unmögliche Ungleichung \Omega < \Omega + 1 \leq \Omega folgte.

Georg Cantor beschrieb das Paradoxon unabhängig von Burali-Forti im Jahr 1899 als Verallgemeinerung der ersten Cantorschen Antinomie von 1897, mit der er nachwies, dass die Klasse aller Kardinalzahlen keine Menge ist.[1] Diese Klasse kann als echte Teilklasse der Ordinalzahlen aufgefasst werden.

In der axiomatischen Zermelo-Mengenlehre oder Zermelo-Fraenkel-Mengenlehre (ZF) kann keine Menge aller Ordinalzahlen mehr gebildet werden, da hier nur eine eingeschränkte Mengenbildung mit dem Axiom der Aussonderung gestattet ist. In ZF verhindert auch das Fundierungsaxiom sich-selbst-enthaltende Mengen, zu denen die Menge aller Ordinalzahlen gehören würde, da die Elementrelation auf den Ordinalzahlen die Kleiner-Relation ist, wenn man die Ordinalzahl-Definition von John von Neumann zugrunde legt.[2] Die Klasse der Ordinalzahlen kann hier keine Menge sein. In der Klassenlogik kann sie aber widerspruchsfrei gebildet werden. Dort liefert dann das Burali-Forti-Paradoxon den Beweis dafür, dass die Klasse der Ordinalzahlen keine Menge, sondern eine sogenannte echte Klasse ist.

Siehe auch

Literatur

  • Burali-Forti, Cesare: Una questione sui numeri transfiniti, in: Rendiconti del Circolo Matematico di Palermo 11 (1897), Seite 154-164. Englische Übersetzung A question on transfinite numbers, in Jean van Heijenoort: From Frege to Gödel, Cambridge, Massachusetts 1967, S. 104-112.
  • Julien Linassier: Unendlich plus eins in Spektrum der Wissenschaft - Unendlich (plus eins). Ausgabe 2/2005, ISBN 3-938639-08-3, S. 36
  • Erich Kamke: Mengenlehre, Sammlung Göschen 999, Berlin 1928 (1. Auflage), Berlin 1969 (6. Auflage)

Einzelnachweise

  1. Brief vom 3. August 1899 an Dedekind, in: Cantor, Briefe, ed. H. Meschkowski und W. Nilson, Berlin Heidelberg New York 1991, S. 408. Oft werden frühere Jahreszahlen genannt, für die aber keinerlei Quellenbelege existieren.
  2. Ableitung der Burali-Forti-Antinomie mit der Neumann-Definition

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Burali-Forti — Cesare Burali Forti (* 13. August 1861 in Arezzo; † 21. Januar 1931 in Turin, Italien) war ein italienischer Mathematiker und Logiker aus der Schule von Giuseppe Peano. Er arbeitete von 1895 bis 1908 maßgeblich an dem von Peano herausgegebenen… …   Deutsch Wikipedia

  • Paradoxon — Ein Paradox(on) (auch Paradoxie; Plural: Paradoxa oder Paradoxien; von altgriechisch παράδοξον, von παρα, para, „gegen“, und δόξα, dóxa, „Meinung, Ansicht“) ist ein scheinbar[1] oder tatsächlich unauflösbarer, unerwarteter Widerspruch.… …   Deutsch Wikipedia

  • Russell Paradoxon — Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der Naiven Mengenlehre, das Russell 1903 publizierte und daher seinen Namen trägt. Inhaltsverzeichnis 1 Begriff und Problematik 2 Geschichte und… …   Deutsch Wikipedia

  • Russells Paradoxon — Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der Naiven Mengenlehre, das Russell 1903 publizierte und daher seinen Namen trägt. Inhaltsverzeichnis 1 Begriff und Problematik 2 Geschichte und… …   Deutsch Wikipedia

  • Russellsches Paradoxon — Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der Naiven Mengenlehre, das Russell 1903 publizierte und daher seinen Namen trägt. Inhaltsverzeichnis 1 Begriff und Problematik 2 Geschichte und… …   Deutsch Wikipedia

  • Paradox — Ein Paradoxon oder Paradox (altgriechisch παράδοξον, von παρα , para – gegen und δόξα, dóxa – Meinung, Ansicht), auch Paradoxie (παραδοξία) und in der Mehrzahl Paradoxa g …   Deutsch Wikipedia

  • Paradoxa — Ein Paradoxon oder Paradox (altgriechisch παράδοξον, von παρα , para – gegen und δόξα, dóxa – Meinung, Ansicht), auch Paradoxie (παραδοξία) und in der Mehrzahl Paradoxa g …   Deutsch Wikipedia

  • Paradoxie — Ein Paradoxon oder Paradox (altgriechisch παράδοξον, von παρα , para – gegen und δόξα, dóxa – Meinung, Ansicht), auch Paradoxie (παραδοξία) und in der Mehrzahl Paradoxa g …   Deutsch Wikipedia

  • Russell'sche Antinomie — Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der Naiven Mengenlehre, das Russell 1903 publizierte und daher seinen Namen trägt. Inhaltsverzeichnis 1 Begriff und Problematik 2 Geschichte und… …   Deutsch Wikipedia

  • Russell Paradox — Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der Naiven Mengenlehre, das Russell 1903 publizierte und daher seinen Namen trägt. Inhaltsverzeichnis 1 Begriff und Problematik 2 Geschichte und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”