injektive+Funktion
41Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …
42Satz von Löwenheim und Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …
43Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …
44Skolemsches Paradoxon — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …
45Faser (Mathematik) — In der Mathematik ist das Urbild ein Begriff im Zusammenhang mit Funktionen. Das Urbild einer Menge M unter einer Funktion f ist die Menge der Elemente, die in f eingesetzt, ein Element aus M ergeben. Ist also y aus M und f(x) = y, dann ist x… …
46Satz von de Branges — Die bieberbachsche Vermutung ist ein mathematischer Satz im Gebiet der komplexen Analysis über analytische Funktionen. Sie wurde im Jahr 1916 von Ludwig Bieberbach als Vermutung aufgestellt und im Jahr 1985 von Louis de Branges de Bourcia… …
47Zahlbereichserweiterung — In der Mathematik versteht man unter einer Zahl(en)bereichserweiterung die Konstruktion einer neuen Zahlenmenge aus einer gegebenen Zahlenmenge, meist um gewisse algebraische, aber auch wie im Fall der reellen Zahlen um topologische Operationen… …
48Bieberbachsche Vermutung — Die bieberbachsche Vermutung ist ein mathematischer Satz im Gebiet der komplexen Analysis über analytische Funktionen. Sie wurde im Jahr 1916 von Ludwig Bieberbach als Vermutung aufgestellt und im Jahr 1985 von Louis de Branges de Bourcia… …
49Dedekind-Unendlichkeit — ist ein Begriff aus der Mathematik, der eine scheinbar paradoxe Eigenschaft unendlicher Mengen einfängt. Eine endliche Menge M, etwa mit n Elementen, ist niemals zu einer echten Teilmenge gleichmächtig, d.h., es kann keine bijektive Abbildung von …
50Dedekind-endlich — Dedekind Unendlichkeit ist ein Begriff aus der Mathematik, der eine scheinbar paradoxe Eigenschaft unendlicher Mengen einfängt. Eine endliche Menge M, etwa mit n Elementen, ist niemals zu einer echten Teilmenge gleichmächtig, d.h., es kann keine… …
