Definitions of „Mengenlehre“ in the Dictionary of German Spelling

die Mẹn·gen·leh·re <-> no pl MATH

das Gebiet der Mathematik, das sich mit den Eigenschaften von Mengen4 befasst

Examples from the Internet (not verified by PONS Editors)

German

Diese Aussage ist äquivalent zum Auswahlaxiom der Mengenlehre.

de.wikipedia.org

Aber auch in den axiomatischen Mengenlehren sind Definitionen von Ordinalzahlen zu finden, die auf der Bildung von Äquivalenzklassen beruhen.

de.wikipedia.org

Durch Skolem wurde in der Axiomatisierung der Mengenlehre der Schlusspunkt gesetzt, indem er mit den Mitteln der Formalisierung dem Komprehensionsaxiom seine heute übliche Fassung gab.

de.wikipedia.org

Dieser Widerspruch wird heute als Russellsche Antinomie bezeichnet und trug dazu bei, dass die Mengenlehre zunächst auf wenig Anerkennung stieß.

de.wikipedia.org

Ihrerseits hat sie auch die Mengenlehre und Kategorientheorie befruchtet.

de.wikipedia.org

In der Arbeit mit den Würfeln wendete er beispielsweise mathematische Prozesse an, wie Drehung, Clipping, Mengenlehre und Graphentheorie.

de.wikipedia.org

Ferner können die oben beschriebenen Bildungsprozesse auf ihre Berechenbarkeit hin untersucht werden, dies geschieht im mit der Rekursionstheorie eng verzahnten Teilgebiet der effektiven deskriptiven Mengenlehre.

de.wikipedia.org

Spezies erlauben auch klassische Operationen der Mengenlehre (etwa Durchschnitt, Vereinigung); eine konstruktive Einschränkung besteht wie oben (Negation) bemerkt, bei den komplementären Spezies.

de.wikipedia.org

Diesem Problem wurde zum einen mit der Typentheorie begegnet, zum anderen durch Ergänzungen in der Axiomatik der Mengenlehre.

de.wikipedia.org

Strittige Fälle sind etwa die Mengenlehre, die Argumentationstheorie (die sich etwa unter pragmatischer Rücksicht mit Fehlschlüssen beschäftigt) und die Sprechakttheorie.

de.wikipedia.org