M Zorn 1935 + Kuratowski 1922 maximal-element; modern equivalent-axiom-of-choice + Hausdorff-maximality + Tukey's lemma.