Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre. (Q1461569): Difference between revisions

Für die axiomatische Grundlegung der Mengenlehre kommt vorläufig nur das ausgezeichnete Verfahren Zermelos in Betracht (Math. Ann. 65, 261; F. d. M. 39,97,1908). Die vorliegenden Bemerkungen zu Zermelos Axiomatik enthalten; 1. die neue Bemerkung, daß Zermelos Axiome an Umfang nicht ausreichen, insofern als eine ausgedehnte Klasse von (sehr umfassenden) Mengen durch jene Axiome nicht gesichert wird; 2. Bemerkungen zu einzelnen Punkten der Zermeloschen Axiomatik, nämlich eine Kritik des Aussonderungsaxioms (bzw. des Begriffs einer ''definiten Eigenschaft''), eine Präzisierung des Wesens des Auswahlaxioms, endlich den Hanweis auf die mangelnde Bestimmtheit und Eindeutigkeit des Systems, die auch gewissen verdächtigen Mengen noch Raum läßt, sowie auf eine Möglichkeit zur Behebung dieses Mangels; 3. eine Erörterung der von Zermelo offen gelassenen Unabhängigkeit seiner Axiome, wobei Unabhängigkeitsbeweise teils geführt, teils angedeutet werden. Für die vollständige Ausführung all dieser Bemerkungen wird auf weitere Veröffentlichungen verwiesen (inzwischen zum Teil erschienen).