Axiomatic Set Theory
Axiomatische Mengenlehre
Michael Meyling
Preface\label{ch:preface}
Vorwort\label{ch:preface}
Introduction\label{ch:introduction}
Einleitung\label{ch:introduction}
Basics
Anfangsgründe
Classes and SetsKlassen und Mengenis a member ofist enthalten inMembership OperatorElementbeziehung#1 \in #2is not a member ofist nicht enthalten inNon Membership OperatorNegation der Elementbeziehung#1 \notin #2axiom of extensionalityExtensionalitätsaxiomExtensionality\index{axiom!of extensionality}Extensionalität\index{Extensionalitätsaxiom}is setist MengeSet\index{set!definition}Menge\index{Menge!Definition}
Now we specify \emph{sets}.
Jetzt legen wir fest, was eine \emph{Menge} ist.
\mathfrak{M}(#1)
This a simple consequence of the second identity axiom.
Dies ist eine einfache Anwendung des zweiten identitätslogischen Axioms.
axiom of comprehensionKomprehensionsaxiomComprehensionKomprehensionclass definitionKlassenschreibweiseClass definitionKlassenschreibweise
M(x) n alpha(x)
Im Folgenden wird auf diese Schreibweise zurückgegriffen.
]]>