Zorn's lemma
Es ist im Rahmen der Mengenlehre auf Grundlage der ZF-Axiome äquivalent zum Auswahlaxiom und damit auch zum Lemma von Zorn, zum Hausdorffschen Maximalkettensatz und zum Wohlordnungssatz.