Schneller Zugriff als Browser!
26 Beziehungen: Allklasse, Auswahlaxiom, Bild (Mathematik), Definitionsmenge, Einschränkung, Fundierte Menge, Funktion (Mathematik), Klasse (Mengenlehre), Kontinuumshypothese, Kurt Gödel, Mächtigkeit (Mathematik), Menge (Mathematik), Mengenlehre, Mengenuniversum, Modelltheorie, Ordinalzahl, Ordnungsisomorphismus, Paarmenge, Potenzmenge, Quantor, Ronald Jensen (Mathematiker), Suslin-Hypothese, Transfinite Induktion, Tupel, Wohlordnung, Zermelo-Fraenkel-Mengenlehre.
Allklasse
Die Allklasse bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der Mengenlehre ist das die Klasse aller Mengen.
Neu!!: Konstruierbarkeitsaxiom und Allklasse · Mehr sehen »
Auswahlaxiom
Das Auswahlaxiom ist ein Axiom der Zermelo-Fraenkel-Mengenlehre.
Neu!!: Konstruierbarkeitsaxiom und Auswahlaxiom · Mehr sehen »
Bild (Mathematik)
Das Bild dieser Funktion ist '''A, B, D''' Bei einer mathematischen Funktion f ist das Bild, die Bildmenge oder der Bildbereich einer Teilmenge M des Definitionsbereichs die Menge der Werte aus der Zielmenge Y, die f auf M tatsächlich annimmt.
Neu!!: Konstruierbarkeitsaxiom und Bild (Mathematik) · Mehr sehen »
Definitionsmenge
Die Definitionsmenge dieser Funktion X → Y ist '''1, 2, 3''', in diesem Falle die ganze Grundmenge '''X'''. In der Mathematik versteht man unter Definitionsmenge oder Definitionsbereich die Menge mit genau den Elementen, unter denen (je nach Zusammenhang) die Funktion definiert bzw.
Neu!!: Konstruierbarkeitsaxiom und Definitionsmenge · Mehr sehen »
Einschränkung
In der Mathematik wird der Begriff Einschränkung (auch Restriktion) meist für die Verkleinerung des Definitionsbereichs einer Funktion verwendet.
Neu!!: Konstruierbarkeitsaxiom und Einschränkung · Mehr sehen »
Fundierte Menge
In der Mathematik ist eine fundierte Menge (auch wohlfundierte Menge, fundierte Ordnung, terminierende Ordnung, noethersche Ordnung) eine halbgeordnete Menge, die keine unendlichen echt absteigenden Ketten enthält.
Neu!!: Konstruierbarkeitsaxiom und Fundierte Menge · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Konstruierbarkeitsaxiom und Funktion (Mathematik) · 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!!: Konstruierbarkeitsaxiom 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!!: Konstruierbarkeitsaxiom 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!!: Konstruierbarkeitsaxiom und Kurt Gödel · Mehr sehen »
Mächtigkeit (Mathematik)
28). In der Mathematik verwendet man den aus der Mengenlehre von Georg Cantor stammenden Begriff der Mächtigkeit oder Kardinalität, um den für endliche Mengen verwendeten Begriff der „Anzahl der Elemente einer Menge“ auf unendliche Mengen zu verallgemeinern.
Neu!!: Konstruierbarkeitsaxiom und Mächtigkeit (Mathematik) · Mehr sehen »
Menge (Mathematik)
Symbolische Darstellung einer Menge von Vielecken leer. Als Menge wird in der Mathematik ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl einzelner Objekte hervorgeht.
Neu!!: Konstruierbarkeitsaxiom und Menge (Mathematik) · 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!!: Konstruierbarkeitsaxiom und Mengenlehre · Mehr sehen »
Mengenuniversum
In der Mathematik bezeichnet man als Mengenuniversum die Gesamtheit aller in einem Axiomensystem zu bildenden Mengen.
Neu!!: Konstruierbarkeitsaxiom und Mengenuniversum · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Konstruierbarkeitsaxiom und Modelltheorie · Mehr sehen »
Ordinalzahl
Ordinalzahlen von 0 bis ωω Ordinalzahlen sind mathematische Objekte, die das Konzept der Position oder des Index eines Elementes in einer Folge auf Wohlordnungen über beliebigen Mengen verallgemeinern.
Neu!!: Konstruierbarkeitsaxiom und Ordinalzahl · Mehr sehen »
Ordnungsisomorphismus
Ein Ordnungsisomorphismus ist ein Begriff aus der Ordnungstheorie, einem Teilbereich der Mathematik.
Neu!!: Konstruierbarkeitsaxiom und Ordnungsisomorphismus · Mehr sehen »
Paarmenge
Als Paarmenge, Zweiermenge, ungeordnetes Paar (zur Abgrenzung gegen ein geordnetes Paar) oder einfach nur Paar bezeichnet man in der Mengenlehre die durch \ symbolisierte Menge, die genau die Objekte a und b als Elemente enthält.
Neu!!: Konstruierbarkeitsaxiom und Paarmenge · Mehr sehen »
Potenzmenge
Die Potenzmenge von ''x'', ''y'', ''z'', dargestellt als Hasse-Diagramm. Als Potenzmenge bezeichnet man in der Mengenlehre die Menge aller Teilmengen einer gegebenen Grundmenge.
Neu!!: Konstruierbarkeitsaxiom und Potenzmenge · Mehr sehen »
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Neu!!: Konstruierbarkeitsaxiom und Quantor · Mehr sehen »
Ronald Jensen (Mathematiker)
Jensen auf dem First European Set Theory Meeting, Będlewo, Polen, 2007 Ronald Björn Jensen (* 1. April 1936 in Charlottesville, Virginia) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre und mathematischer Logik beschäftigt.
Neu!!: Konstruierbarkeitsaxiom und Ronald Jensen (Mathematiker) · Mehr sehen »
Suslin-Hypothese
In der Mengenlehre postuliert die Suslin-Hypothese (benannt nach dem russischen Mathematiker Michail Jakowlewitsch Suslin) eine spezielle Charakterisierung der Menge der reellen Zahlen.
Neu!!: Konstruierbarkeitsaxiom und Suslin-Hypothese · Mehr sehen »
Transfinite Induktion
Transfinite Induktion ist eine Beweistechnik in der Mathematik, die die von den natürlichen Zahlen bekannte Induktion auf beliebige wohlgeordnete Klassen verallgemeinert, zum Beispiel auf Mengen von Ordinalzahlen oder Kardinalzahlen, oder sogar auf die echte Klasse aller Ordinalzahlen.
Neu!!: Konstruierbarkeitsaxiom und Transfinite Induktion · Mehr sehen »
Tupel
Tupel (abgeleitet von mittellateinisch quintuplus ‚fünffach‘, septuplus ‚siebenfach‘, centuplus ‚hundertfach‘ etc.) sind in der Mathematik neben Mengen eine wichtige Art und Weise, mathematische Objekte zusammenzufassen.
Neu!!: Konstruierbarkeitsaxiom und Tupel · Mehr sehen »
Wohlordnung
Eine Wohlordnung auf einer Menge S ist eine totale Ordnung, bei der jede nichtleere Teilmenge von S ein kleinstes Element bezüglich dieser Ordnung hat, also eine totale fundierte Ordnung.
Neu!!: Konstruierbarkeitsaxiom und Wohlordnung · 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!!: Konstruierbarkeitsaxiom und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »
Leitet hier um:
Konstruierbare Hierarchie, Konstruktibilitätsaxiom, Konstruktible Hierarchie, Konstruktive Hierarchie, V=L.
