2021 | OriginalPaper | Buchkapitel
Fundierte Strukturen und Ordinalzahlen
verfasst von : Heinz-Dieter Ebbinghaus
Erschienen in: Einführung in die Mengenlehre
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Die Ordnung (ω, $$\varepsilon $$ ε ω) genügt dem Prinzip vom kleinsten Element: Jede nicht leere Teilmenge von ω besitzt eine kleinste Zahl (vgl. Satz V.1.10). Diese Eigenschaft steht in enger Beziehung zu der Möglichkeit, induktive Beweise zu führen und rekursive Definitionen zu rechtfertigen. Wir stellen solche Möglichkeiten jetzt in einem allgemeineren Rahmen bereit.