Lemma von Zorn
Zorn's lemma is also equivalent to the strong completeness theorem of first-order logic.