What are the prime ideals of $\mathbb{R}[x_1,x_2,x_3,...]$?
(this is the ring of polynomials over the reals with countably infinite many indeteminates).
My attempt: I think taking the principal ideal generated by an irreducible polynomial gives a prime ideal.