Сборник с математически доказателства/Чернова4
Сборник с математически доказателства/Чернова<<
This article needs translation from De to Bulgarian. This article is written in De. If it is intended for readers from the De language community, it should be contributed to the De Wikibooks. See the list of Wikibooks. Please see this article's entry on Pages needing translation into Bulgarian for discussion. If the article is not rewritten in Bulgarian it may be listed for deletion and/or moved to the De Wikipedia. If you want to assess this article, you may want to check its Google translation. However, please do not add an unchecked automated translation to the article, since these are generally poor quality. |
Mit Hilfe der arithmetischen Operationen Addition, Multiplikation und Potenzieren läßt sich aus den endlichen Ordinalzahlen und ein Anfangstück von beschreiben, das schon erahnen lässt, wie vielfalltig die Klasse der Ordinalzahlen sein kann:
Über diese Zahlen liegt die Kleinste von den sogennanten Epsilonzahlen, die sich aus den endlichen Zahlen und durch aritmetischen Operationen nicht gewinnen lassen und Lösungen der Gleichung sind. Man kann den Epsilonzahlen (ihrer Größe nach) Indizes vergeben
und somit eine weitere einstellige Operation definieren, die man zusammen mit den anderen arithmetischen Operationen zum Erfassen weiterer Ordinalzahlen verwenden kann. Mit endlich vielen endlichstelligen Operationen lassen sich aber alle Ordinalzahlen kleiner als die kleinste überabzählbare Ordinalzahl nicht aussschöpfen. Zwischen der kleinste Epsilonzahl und können sogar solche Zahlen liegen, deren Existenz in bestimmten axiomatischen Mengenlehren unbeweisbar ist. Auf ähnliche Schwierigkeiten trifft man auch bei der Suche nach immer größeren überabzählbaren Ordinalzahlen. Manche lassen sich mittels arithmetischen Operationen aus kleineren gewinnen andere dagegen nicht. Sie werden dann als Lösungen von Gleichungen, Supremum von speziellen Mengen oder Minumum von speziellen Klassen definiert, wobei die Korrektheit solcher Definitionen sowie die Existenz dieser Zahlen immer wieder bewiesen werden muss, was sich innerhalb einer bestimmten Mengenlehre auch als unlösbare Aufgabe herausstellen kann. Das wiederum hat aber nicht zu bedeuten, dass die Ordinalzahlen irgendwo zuende gehen, sondern nur, dass es Fragen über die feine und die grobe Struktur von gibt, für deren Klärung die zur Verfühgung stehenden mengentheoretischen Mittel unzureichend sein können. Die Frage danach, wie ausgedehnt die Klasse der Ordinalzahlen ist, kann zum Beispiel von der Zermelo-Fraenkel-Mengenlehre nicht beantworten werden. Diese Frage hängt von der genauen Definition des Begriffes Menge ab, welche aber innerhalb von ZFC fehlt.