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.