Searching for links to ZornsLemma:
AxiomOfChoice
Infinity