Neumann-Bernays-Gödel-Mengenlehre

Neumann-Bernays-Gödel-Mengenlehre

Die Neumann-Bernays-Gödel-Mengenlehre (NBG) ist eine Axiomatisierung der Mengenlehre. Sie ist nach John von Neumann, Paul Bernays und Kurt Gödel benannt, da sie auf Arbeiten dieser Mathematiker aufbaut. Im Mengenbereich ist sie äquivalent zur weiter verbreiteten Zermelo-Fraenkel-Mengenlehre (ZFC). Im Gegensatz zu ZFC sind die Objekte von NBG nicht nur Mengen, sondern vielmehr Klassen. Mengen sind spezielle definierte Klassen: Eine Klasse heißt Menge, wenn sie Element einer Klasse ist. Die Klassen von NBG können damit nur Mengen als Elemente enthalten. Es gibt auch Klassen, die keine Mengen sind; sie werden als echte Klassen bezeichnet (etwas scherzhaft auch als Unmengen).

Inhaltsverzeichnis

Zur Geschichte

Den ersten Grundstein zur Neumann-Bernays-Gödel-Mengenlehre legte John von Neumann 1925/1927 in seiner Axiomatisierung der Mengenlehre.[1] Er griff hier die Kritik von Abraham Fraenkel an der Zermelo-Mengenlehre auf und entwarf den ersten Kalkül mit einem ableitbaren »Ersetzungsaxiom« und einem »Beschränktheitsaxiom«, das zirkelhafte Mengenbildungen ausschließt und Zermelos Fundierungsaxiom im ZF-System von 1930 vorweg nimmt. Im Unterschied zu ZF, dessen Ersetzungschema unendlich viele Axiome produziert, formulierte er ein Ersetzungsaxiom mit dem Funktionsbegriff und erreichte so ein endliches System aus 23 Axiomen. Dieses gründete er ganz auf Funktionen (II.-Dinge) und Argumente (I.-Dinge). Funktionen, die zugleich Argumente sind (I-II-Dinge), setzte er mit Mengen gleich. Sein schwer lesbarer, sehr technisch anmutender Funktionenkalkül setzte sich aber nicht durch. Paul Bernays übertrug Neumanns Ideen in ein Axiomensystem mit Klassen und Mengen in seiner Set-Theory, die er ab 1937 ausarbeitete.[2] Er trennte hier Klassen und Mengen strikt und benutzte zweierlei Variablensorten und zweierlei Elementprädikate ε und η für Mengen und Klassen. Diese Trennung sah er aber später als Sackgasse an; er formulierte 1958 eine vereinfachte Set-Theory mit Klassen, die keine quantifizierbaren Individuen mehr sind.[3] Die moderne NBG-Mengenlehre griff diese späte Modifikition nicht auf, sondern folgte der Vereinfachung, die Kurt Gödel 1940 im Rahmen seiner berühmten Arbeit über die Kontinuumshypothese publizierte.[4] Er beseitige nur das zweite Elementprädikat für Klassen, behielt aber unterschiedliche Variablensorten für Klassen und Mengen bei.

Die NBG-Axiome

Moderne Fassungen der Neumann-Bernays-Gödel-Mengenlehre legen eine Prädikatenlogik erster Stufe mit Gleichheits- und Elementprädikat zugrunde. Ihre Variablen stehen im Allgemeinen für Klassen und werden als Großbuchstaben notiert. Die obige Mengendefinition erfasst eine Formel, über die spezifische Mengenvariablen eingeführt werden können, die als Kleinbuchstaben geschrieben werden:

Mg(X)\colon\leftrightarrow \exists Y\colon X \in Y
\forall x\colon A(x) steht abkürzend für \forall X\colon (Mg(X) \rightarrow A(X))
\exists x\colon A(x) steht abkürzend für \exists X\colon (Mg(X) \and A(X))

Mit analogen abkürzenden Schreibweisen für andere Mengenvariablen erhalten die NBG-Axiome eine übersichtliche Form:

  • Extensionalitätsaxiom: Zwei Klassen sind genau dann gleich, wenn sie dieselben Elemente enthalten.
\forall X, Y\colon (X=Y \leftrightarrow \forall z\colon (z \in X \leftrightarrow z \in Y))
Nach dem Extensionalitätsaxiom sind Klassen eindeutig bestimmt, wenn ihre Elemente durch eine gleichwertige Eigenschaft beschrieben werden. Für solche Klassen kann eine abkürzende Schreibweise angegeben werden. Dies geschieht bei einigen nachfolgenden Axiomen für die als existent postulierten Klassen oder Mengen.
  • Axiom der leeren Menge: Es existiert eine Klasse, die keine Elemente enthält.
\exist X\colon \forall y\colon \lnot (y \in X)
Schreibweise: \varnothing
  • Paarmengennaxiom: Zu je zwei Mengen existiert eine Menge, deren Elemente genau die beiden Mengen sind.
\forall x, y \colon \exist z \colon \forall w \colon (w \in z \leftrightarrow (w=x \or w=y))
Schreibweise: \,\{x, y\}
Spezialfall (einelementige Menge): \,\{x\}:=\{x, x\}
Spezialfall (geordnetes Paar): \,(a,b) := \{\{a,b\},\{a\}\}
  • Vereinigungsaxiom: Zu jeder Klasse existiert eine Klasse, deren Elemente genau die Elemente der Elemente aus der ersten Klasse sind.
\forall X \colon \exist Y \colon \forall z \colon (z \in Y \leftrightarrow \exist w\colon (w \in X \and z \in w))
Schreibweise: \bigcup X
Spezialfall: x \cup y :=\bigcup \{ x, y \}
  • Potenzmengenaxiom: Zu jeder Menge existiert eine Menge, deren Elemente genau die Teilmengen der ersten Menge sind.
\forall x\colon \exists y\colon \forall z\colon (z \in y \leftrightarrow \forall w\colon (w \in z \rightarrow w \in x))
Schreibweise: \mathcal{P}(x)
  • Unendlichkeitsaxiom: Es existiert eine Menge, die die leere Menge und mit jedem Element \,y auch die Menge y \cup \{y\} enthält (siehe Induktive Menge).
\exist x\colon (\varnothing \in x \and \forall y\colon (y \in x \rightarrow y \cup \{y\} \in x))
  • Regularitätsaxiom (Fundierungsaxiom): Jede nichtleere Klasse enthält ein zu dieser Klasse disjunktes Element.
\forall X\colon (X \neq \varnothing \rightarrow \exists y\colon (y \in X \land \lnot \exist z\colon (z \in X \land z \in y)))
  • Komprehensionsschema: Zu jeder Eigenschaft existiert die Klasse aller Mengen, die diese Eigenschaft erfüllen; als Eigenschaft ist jede Formel φ zugelassen, in der Quantoren nur vor Mengenvariablen vorkommen:
\forall X_1,\ldots,X_n\colon \exists Y\colon \forall z\colon (z \in Y \leftrightarrow \varphi (z,X_1,\ldots,X_n))
Schreibweise: \{ z \mid \varphi (z,X_1,\ldots,X_n)\}
  • Ersetzungsaxiom: Das Bild einer Menge unter einer Funktion ist wieder eine Menge.
\forall F, x\colon (F \mbox{ Funktion } \rightarrow \exists y\colon \forall z\colon (z \in y \leftrightarrow \exists w\colon (w \in x \and (w,z) \in F)))
Schreibweise: \{ F(w) \mid  w \in x\}
Der Funktionsoperator im Ersetzungsaxiom wird folgendermaßen definiert:
F \mbox{ Funktion } :\leftrightarrow \forall p\colon (p\in F\rightarrow \exist x,y\colon p=(x,y)) \land \; \forall x,y,z\colon \bigl ( (x,y) \in F \land (x,z)\in F \rightarrow y=z \bigr )
  • Auswahlaxiom: Es existiert eine Funktion, die jeder nichtleeren Menge eines ihrer Elemente zuordnet.
\exists F\colon (F \mbox{ Funktion } \and \forall x\colon (x \not= \varnothing \rightarrow \exists y\colon (y \in x \and (x,y) \in F )))

Auflösung der Widersprüche der naiven Mengenlehre

Konstruktionen, die in der naiven Mengenlehre zu Widersprüchen führten, können in NBG nachvollzogen werden. Sie führen nicht mehr zu Widersprüchen, sondern zu echten Klassen. Die Russellsche Antinomie löst sich beispielsweise so auf: Bildet man nach dem Komprehensionsschema die Klasse aller Mengen, die sich nicht selbst enthalten

R = \{ x|x \not\in x \} ,

so ist R keine Menge, denn sonst ergäbe sich der übliche Widerspruch R\in R\Leftrightarrow R\notin R. Also ist R eine echte Klasse und kann sich daher nicht selbst enthalten, da die Elemente einer Klasse nach Definition Mengen sind. Also gilt R\notin R, was aber in diesem Fall keinen Widerspruch ergibt, womit die Russellsche Antinomie durch den Klassenbegriff aufgelöst ist. Die Existenz einer Klasse aller Klassen, die sich nicht selbst enthalten, ergibt sich dagegen aus dem Komprehensionsschema nicht – und auch auf keinem anderen Wege, sofern NBG widerspruchsfrei ist.

Literatur

  • Elliot Mendelson: Introduction to Mathematical Logic, Fourth Edition, 1997, ISBN 0-412-80830-7. Kapitel 4, Axiomatic Set Theory, S. 225-304

Einzelnachweise

  1. John von Neumann: Eine Axiomatisierung der Mengenlehre, in: Journal für die reine und angewandte Mathematik 154 (1925), 219-240. Präzisierter Kalkül in: John von Neumann: Die Axiomatisierung der Mengenlehre, 1927, in: Mathematische Zeitschrift 27 (1928) 669-752
  2. Paul Bernays: A System of Axiomatic Set Theory I, in: Journal of Symbolic Logic 2 (1937), S. 65-77. Teile II-VII in der gleichen Zeitschrift in den Jahrgängen 1941-1943, 1948, 1954.
  3. Abraham Adolf Fraenkel, Paul Bernays: Axiomatic Set Theory, Amsterdam 1958
  4. Kurt Gödel: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Annals of Mathematical Studies, Volume 3, Princeton NJ, 1940

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Bernays — ist der Familienname folgender Personen: Chacham Isaak Bernays, (1792–1849) Oberrabbiner der Deutsch Israelitischen Gemeinde in Hamburg, Vorreiter der modernen Orthodoxie Edward Bernays (1891–1995), Public Relations Forscher, Urenkel von Isaak… …   Deutsch Wikipedia

  • Mengenlehre — Die Mengenlehre ist das grundlegende Teilgebiet der Mathematik. Die gesamte Mathematik, wie sie heute üblicherweise gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf den Axiomen der Mengenlehre auf. Alle mathematischen… …   Deutsch Wikipedia

  • Kurt Gödel — als Student der Universität Wien Mitte der 1920er Jahre Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch amerikanischer Mathematiker und einer …   Deutsch Wikipedia

  • Vereinigung (Mengenlehre) — Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik. Zahlreiche mathematische Disziplinen werden heute auf der Mengenlehre aufgebaut, darunter die Algebra, Analysis, Maßtheorie, Stochastik und Topologie. Inhaltsverzeichnis 1… …   Deutsch Wikipedia

  • Klasse (Mengenlehre) — Als Klasse wird heute in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte bezeichnet. Eine Klasse wird definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen. Vom Klassenbegriff ist der …   Deutsch Wikipedia

  • John von Neumann — um 1940 János Neumann Margittai, (* 28. Dezember 1903 in Budapest (Österreich Ungarn) als Neumann János Lajos; † 8. Februar 1957 in Washington, D.C.) war ein Mathematiker österreichisch ungarischer …   Deutsch Wikipedia

  • Paul Bernays — (* 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker. Paul Bernays (links) im Gespräch Inhaltsverzeichnis …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Zermelo-Fraenkel-Mengenlehre — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… …   Deutsch Wikipedia

  • Ackermann-Mengenlehre — Die Ackermann Mengenlehre ist eine axiomatische Mengenlehre, die 1955 von Wilhelm Ackermann angegeben wurde. Er versuchte in ihr, Cantors Mengendefinition in ein präzises Axiomensystem umzusetzen. Die Ackermann Mengenlehre erweitert die Zermelo… …   Deutsch Wikipedia

Share the article and excerpts

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