Page 82 of https://www.sciencedirect.com/science/article/pii/0315086078901362 https://www.sciencedirect.com/science/article/pii/0315086078... has some informati

Page 82 of https://www.sciencedirect.com/science/article/pii/0315086078901362 https://www.sciencedirect.com/science/article/pii/0315086078... has some information. Zorn introduced a "maximal principle" as an axiom. It appears Tukey called a generalization of it Zorn's Lemma for unknown reasons, though there is some version of the statement that really is proved, but apparently by Chevalley (a fact Zorn knew).