Inhalt des Dokuments
Preprint 17-2011
Suite I - Die StrukturGebende, Teil 1
Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 17-2011
MSC 2000
- 03B80 Other applications of logic
-
03A05 Philosophical and critical
-
03C62 Models of arithmetic and set theory
-
03E75 Applications of set theory
Abstract :
Klasse. Menge. Unmenge. Gleichheit. Ungleichheit. Liste der KlassenVariablen, Teil 1. Rekursiv-Eigenschaft Ensemble KlassenVariable, Teil 1. Fundamentales NegationsAxiom. ElementAxiom. (Keine) TeilKlasse. TeilMengenAxiom. GleichheitsAxiom. IdentitaetsSatz. Leere Menge. Universum. PotenzKlasse. PotenzMengenAxiom. Singelton. SingeltonAxiom. SingeltonIdentitaetsSatz. Vereinigung. Durchschnitt.
LeereMengeUniversum Axiom. Binaere Vereinigung. Binaerer Durchschnitt.
BinaereVereinigungAxiom. Universelles Komplement. Ungeordnetes Paar. KlassenDifferenz. Symmetrische KlassenDifferenz. Elementare KlassenAlgebra.
Keywords :
Klassen. Mengen. Elementare KlassenAlgebra.