Zorn's lemma
Äquivalenz von Auswahlaxiom und Lemma von Zorn.