Zorn's lemma

statement equivalent to the axiom of choice, about the existence of a maximal element in a poset with a maximal chain condition