direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Preprint 17-2011

Suite I - Die StrukturGebende, Teil 1

Source file is available as :   Portable Document Format (PDF)

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.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe