Zorn's lemma
Setzt man die ZF-Axiome voraus, dann gibt es eine Vielzahl an wichtigen Sätzen, die zum Auswahlaxiom äquivalent sind. Die wichtigsten darunter sind das Lemma von Zorn und der Wohlordnungssatz. Zermelo führte das Auswahlaxiom ein, um den Beweis des Wohlordnungssatzes zu formalisieren. Die Namen Lemma und Satz rühren daher, dass diese Formulierungen nicht so unmittelbar einsichtig erscheinen wie das Auswahlaxiom selbst.