In this very first qedeq module the specification is demonstrated. In diesem allerersten Qedeq-Modul wird die Spezifikation demonstriert. Michael Meyling

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.

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.