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