Talk:Axiom of Choice implies Zorn's Lemma/Proof 1

Refactor
Refactoring is badly, badly needed. This is a long rambling essay which goes from Zorn to what I believe Kelley calls the maximal principle, to a maximal chain condition I believe is sometimes called Kuratowski's.... It's a mess. --Dfeuer (talk) 20:23, 1 July 2013 (UTC)