Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Neumann-Bernays-Gödel-Mengenlehre

Index Neumann-Bernays-Gödel-Mengenlehre

Die Neumann-Bernays-Gödel-Mengenlehre (NBG) ist eine Axiomatisierung der Mengenlehre.

17 Beziehungen: Adolf Abraham Halevi Fraenkel, Auswahlaxiom, Disjunkt, Fundierungsaxiom, Geordnetes Paar, Induktive Menge, John von Neumann, Klasse (Mengenlehre), Kontinuumshypothese, Kurt Gödel, Mengenlehre, Naive Mengenlehre, Paul Bernays, Prädikatenlogik, Russellsche Antinomie, Zermelo-Fraenkel-Mengenlehre, Zermelo-Mengenlehre.

Adolf Abraham Halevi Fraenkel

Abraham Fraenkel (zwischen 1939 und 1949) Adolf Abraham Halevi Fraenkel, meist Abraham Fraenkel zitiert (* 17. Februar 1891 in München; † 15. Oktober 1965 in Jerusalem), war ein deutsch-israelischer Mathematiker.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Adolf Abraham Halevi Fraenkel · Mehr sehen »

Auswahlaxiom

Das Auswahlaxiom ist ein Axiom der Zermelo-Fraenkel-Mengenlehre.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Auswahlaxiom · Mehr sehen »

Disjunkt

Zwei disjunkte Mengen In der Mengenlehre heißen zwei Mengen A und B disjunkt (‚getrennt‘), elementfremd oder durchschnittsfremd, wenn sie kein gemeinsames Element besitzen.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Disjunkt · Mehr sehen »

Fundierungsaxiom

Das Fundierungsaxiom (auch: Regularitätsaxiom) ist ein Axiom der Mengenlehre von John von Neumann von 1925,John von Neumann: Eine Axiomatisierung der Mengenlehre. In: Journal für die reine und angewandte Mathematik. Bd.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Fundierungsaxiom · Mehr sehen »

Geordnetes Paar

Ein geordnetes Paar, auch 2-Tupel oder Dupel genannt, ist in der Mathematik eine wichtige Art und Weise, zwei mathematische Objekte zu einer Einheit zusammenzufassen.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Geordnetes Paar · Mehr sehen »

Induktive Menge

Als induktive Mengen werden in der Mathematik Mengen M bezeichnet, die die leere Menge \emptyset enthalten und wo für jede Menge x auch deren Nachfolgemenge x'.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Induktive Menge · Mehr sehen »

John von Neumann

John von Neumann (um 1940) John von Neumann (* 28. Dezember 1903 in Budapest, Österreich-Ungarn als Neumann János Lajos; † 8. Februar 1957 in Washington, D.C., Vereinigte Staaten) war ein ungarisch-US-amerikanischer Mathematiker.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und John von Neumann · Mehr sehen »

Klasse (Mengenlehre)

Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Klasse (Mengenlehre) · Mehr sehen »

Kontinuumshypothese

Die Mächtigkeit des Kontinuums bleibt in ZFC unbestimmt Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Kontinuumshypothese · Mehr sehen »

Kurt Gödel

rahmenlos Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichischer und später US-amerikanischer Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Kurt Gödel · Mehr sehen »

Mengenlehre

Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Mengenlehre · Mehr sehen »

Naive Mengenlehre

Der Begriff der naiven Mengenlehre entstand am Anfang des 20.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Naive Mengenlehre · Mehr sehen »

Paul Bernays

Paul Bernays (links) im Gespräch Paul Isaak Bernays (meist genannt als Paul Bernays; * 17. Oktober 1888 in London; † 18. September 1977 in Zürich) war ein Mathematiker und Logiker.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Paul Bernays · Mehr sehen »

Prädikatenlogik

Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Prädikatenlogik · Mehr sehen »

Russellsche Antinomie

Bild des Namensgebers Bertrand Russell. Die Russellsche Antinomie ist ein von Bertrand Russell und Ernst Zermelo entdecktes Paradoxon der naiven Mengenlehre, das Russell 1903 publizierte und das daher seinen Namen trägt.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Russellsche Antinomie · Mehr sehen »

Zermelo-Fraenkel-Mengenlehre

Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »

Zermelo-Mengenlehre

Die Zermelo-Mengenlehre ist die erste publizierte axiomatische Mengenlehre; sie stammt von Ernst Zermelo und ist datiert auf den 30.

Neu!!: Neumann-Bernays-Gödel-Mengenlehre und Zermelo-Mengenlehre · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »