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

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