Bourbaki Proof of Zorn's Lemma in Lang's Algebra

The proof I saw was using, essentially, the Hausdorff Maximality Principle.

Hausdorff Maximality Principle (HMP). Every partially ordered chain has a $\subseteq$-maximal chain.

Clearly if $(P,\leq)$ is a partially ordered set satisfying the conditions for Zorn's lemma, and $C\subseteq P$ is a maximal chain then $C$ has an upper bound $c$ and by the maximality of $C$ we have to have $c\in C$ and that it is a maximal element.

The proof seems to go through other means to prove HMP, and it uses the Bourbaki-Witt theorem.

The Bourbaki-Witt theorem does not rely on the axiom of choice at all. It is provable in ZF, as remarked by Brian here. The reason it is provable in ZF is that it assumes the existence of a least upper bound of every chain, and therefore allows a canonical choice for $a_1$ when moving from $D_0$ to $D_1$ (and so on).

The axiom of choice comes in, full-blown power, in the proof of Corollary 2.4:

Suppose that $A$ does not have a maximal element. Then for each $x\in A$ there is an element $y_x\in A$ such that $x<y_x$. Let $f\colon A\to A$ be the map such that $f(x)=y_x$ for all $x\in A$.

Here we actually say that $f$ is a choice function. In the proof of the Bourbaki-Witt theorem we needed to know what is the next step in "growing up", but we assumed that $f$ was given to us. From that it was just a matter of finishing the proof.

But in this corollary we need to actually define $f$. And this requires the axiom of choice.

I should add that there are books full of equivalents to the axiom of choice, and there are a lot of them which are very not-set theoretical axioms, or very unrelated to well-ordering (e.g. "Every non-empty set can be made into a group"). Since they are all equivalent to the axiom of choice, all of them are equivalent to Zorn's lemma.