I have read that Cohen assumed some suitable large cardinal axiom, such as the existence of Ramsey cardinals, for his proof of ~CH. Yet in expositions of the proof, such as in Forcing (mathematics) - Wikipedia, the free encyclopedia, does not explicitly mention any such assumption. Can you tell me where, in the proof, the assumption is used, and why?
Thank you.