What fragment of ZFC do we need to prove Zorn's lemma? Posted by Zhen Lin, at math.stackexchange.com, 28 Nov 2012 It is extremely well-known that Zorn's lemma is a theorem of ZFC. My interest is in a certain finitely-axiomatisable fragment…