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