Existence of maximal ideals

Existence of maximal ideals (Zorn): Let $R$ be a unital ring with $1\neq 0$, assumed commutative. Then $R$ has a maximal ideal .

This result is typically proved using Zorn's lemma (and hence the axiom of choice ) applied to the partially ordered set of proper ideals of $R$ ordered by inclusion.