Let $A$ be a commutative ring with an identity. Suppose that every non-empty set of ideals of $A$ has a maximal element. Let $A[[x]]$ be the formal power series over $A$. Can we prove that every non-empty set of ideals of $A[[x]]$ has a maximal element without Axiom of Choice?

Remark The same question was asked in MSE.