Nilradicals without Zorn's lemma It's well known that the nilradical of a commutative ring with identity $A$ is the intersection of all the prime ideals of $A$.
Every proof I found (e.g. in the classical "Commutative Algebra" by Atiyah and Macdonald) uses Zorn's lemma to prove that $x \notin Nil(A) \Rightarrow x \notin \cap_{\mathfrak{p}\in Spec(A)} \mathfrak{p}$ (the other way is immediate).
Does anybody know a proof that doesn't involve it?
 A: Y. Rav proved this using the Ultrafilter Principle ("Every filter on a set can be extended to an ultrafilter"), which is weaker than the Axiom of Choice. Theorem 4.1 of Variants of Rado's selection lemma and their applications, Math. Nachr. 79 (1977), 145--165 states:Theorem 4.1. Let R be a ring, $\mathfrak{a}$ a proper ideal in R, and suppose that S is multiplicative subsemigroup of R which does not meet $\mathfrak{a}$. Then it follows from the Ultrafilter Principle that their exists a prime ideal $\mathfrak{p}$ in R such $\mathfrak{a} \subseteq \mathfrak{p}$ and $\mathfrak{p} \cap S= \emptyset$.

Rav also showed:

Corollary 4.4. The following statements are mutually equivalent in ZF set
theory:

(a) Every filter on a set can be extended to an ultrafilter.

(b) In every commutative associative ring with identity, every proper ideal is included
in some prime ideal.

(c) In every Boolean algebra, every proper ideal (resp. filter) is included in some
prime ideal (resp. ultrafilter).

A: I assume the argument you have in mind is the folowing: suppose $f \in \cap \mathfrak{p}$; then to show that $f$ is nilpotent, it suffices to show that the localized ring $A_f$ is zero.  And indeed, if $f$ is in every prime ideal of $A$, then $A_f$ has no prime ideals at all; since every nonzero ring has a maximal ideal by Zorn's Lemma, we must have $A_f = 0$.
This line of reasoning easily adapts to show that in fact, the statement that $\operatorname{Nil}(A) = \cap \mathfrak{p}$ implies that every nonzero ring has a prime ideal.  Indeed, suppose that $A$ were nonzero with no prime ideals; then $\cap \mathfrak{p} = A$, so every element of $A$ is nilpotent.  In particular, $1 = 1^n = 0$, so $A = 0$.
Following Eric Rowell's answer, this is very close to being equivalent to the axiom of choice (however, it does not obviously imply the existence of maximal ideals).
A: This seems difficult as Krull's theorem (existence of maximal ideals) implies the Axiom of Choice.  This is due to W. Hodges I think.
A: Since you asked for a proof, let me complement Chris Phan's answer by outlining a proof that relies only on the Compactness Theorem for propositional logic, which is yet another equivalent to the Ultrafilter Theorem over ZF. 
Let A be a commutative ring and let x ∉ Nil(A). To each element a ∈ A associate a propositional variable pa and let T be the theory whose axioms are


*

*p0, ¬p1, ¬px, ¬px2, ¬px3,...

*pa ∧ pb → pa+b for all a, b ∈ A.

*pa → pab for all a, b ∈ A.

*pab → pa ∨ pb for all a, b ∈ A.


Models of T correspond precisely to prime ideals that do not contain x. Indeed, if P is such an ideal, then setting pa to be true iff a ∈ P satisfies all of the above axioms, and conversely. So it suffices to show that T has a model.
Since xn ≠ 0 for all n, one can verify using ideals over finitely generated subrings of A that the theory T is finitely consistent, i.e. any finite subset of T has a model. (What I just swept under the rug here is a constructive proof of the theorem for quotients of Z[v1,...,vn].) The Compactness Theorem for propositional logic then ensures that T has a model.
