I want a short proof of Kuratowski's lemma (about maximal chains).
Does proving Kuratowski's lemma need first prove Zorn lemma?
I am writing a book in which I claim that the reader needs to know only basic set theory in order to understand it. For this reason I need a short proof of Kuratowski's lemma, for the readers of my book.