Basics
Anfangsgr?nde
In this chapter we start with the very basic axioms and definitions of set theory.
In diesem Kapitel beginnen wir mit den ganz elementaren Axiomen und Definitionen der Mengenlehre.
Axioms
Axiome
contains
enth?lt
At first we define the contains operator.
Zun?chst einmal wird der Enthaltensseinoperator festgelegt.
#1 \in #2
This is the only predicate we start with. All other will be defined.
Dies ist das einzige Pr?dikat welches wir zu Begin haben. Alle anderen werden definiert.
is set
ist Menge
Now we introduce sets.
Jetzt legen wir fest, was eine Menge ist.
\mathfrak{M}(#1)
So sets are nothing else than special classes.
Mengen sind also nichts anderes, als Klassen mit einer besonderen Eigenschaft.
is set
ist Menge
The first conclusion bla bla bla
Als erste Folgerung bla bla bla
comprehension
Komprehensionsaxiom
Our first axiom is the comprehensive axiom.
Unser erstes Axiom ist das Komprehensionsaxiom.