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.