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)


 * It is as presented in Halmos. As such it stands as is. --prime mover (talk) 20:26, 1 July 2013 (UTC)