This may be inappropriate for MO, but here goes: **if** I have understood the statement of the Erdős–Rado theorem correctly, then it contains as a special case the following result:



> 
> if $\mu$ is an infinite cardinal then $(2^\mu)^+ \to (\mu^+)\_\mu^2$
> 
> 
> 


that is, every $\mu$-colouring of the $2$-elements subsets of a set $X$ of cardinality $> 2^\mu$ has a monochromatic subset of cardinality $>\mu$.


Looking online, the usual citation given for the ER-theorem is 


P. Erdős, R. Rado, *A partition calculus in set theory*. 
[Bull. Amer. Math. Soc. 62 (1956), 427–489](http://www.ams.org/journals/bull/1956-62-05/S0002-9904-1956-10036-0/home.html)


I am trying to track down **where** in this paper one can find the statement of the E-R theorem, or at least the special case described above. Unfortunately, partition calculus lies **well** outside my usual routes for mathematical excursions, and some of the notation E&R use seems slightly at odds with the notation I see in all the various online notes describing or proving the E-R theorem. I am hoping that the set theorists among the MO readership may be more familiar with the notation of the paper and hence be able to quickly locate the statement.



Where is the Erdős–Rado theorem stated in Erdős and Rado's Bull AMS paper?
It is also stated as Theorem 4.(i), I think, and again on pages 470 and 472 where the reference is given to earlier results.


For a recent easy-to-read presentation of the proof, see Theorem 5.1.4 in David Marker's *Introduction to Model Theory*.


