Searching for links to ZornsLemma:
AxiomOfChoice