Aussonderungsaxiom
Das Aussonderungsaxiom stammt aus der Zermelo-Mengenlehre von 1907 und ist daher auch Bestandteil der erweiterten, heute maßgeblichen Zermelo-Fraenkel-Mengenlehre ZF. Es besagt informell, dass alle Teilklassen von Mengen ebenfalls Mengen sind. In der prädikatenlogischen Sprache wird das Aussonderungsaxiom präzisiert als Axiomenschema, das unendlich viele Axiome umfasst; daher wird es heute auch oft als Aussonderungsschema bezeichnet.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.