Suite I - Die StrukturGebende, Teil 4

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 20-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 :
Bijektion. BijektionsLemma. FunktionsAxiom. SingeltonKlasse. SingeltonUniversum. SingeltonFunktion. BinaereVereinigungInduktive Klasse. Endlich. EndlichkeitsAxiom. Universum der (nichtleeren) endlichen Klassen. EndlicheKlassenInduktion. EndlicheKlassenUngleichLeereMengeInduktion. Unendlich. RelationsNotation. Vermehrend. Verringernd. Reflexiv. Irreflexiv. Transitiv. AntiSymmetrisch. Symmetrisch. Konnex. Kette. Liste der KlassenVariablen, Teil 2. HalbOrdnungsNotation. (AntiSymmetrische) Halbordnung. Endliche TeilKlasse. EndlicheTeilKlasseInduktion. EndlicheTeilKlasseUngleichLeereMengeInduktion.

Keywords : Bijektion. Endliche Klasse. Unendliche Klasse. Halbordnung. EndlicheKlassenInduktion.