In this talk we set up the foundations necessary for understanding iterated forcing. We first review the "basics" of forcing and then proceed to talk about product forcing, a special case of the two-step iteration. The eventual goal of these talks is to provide a proof of the consistency of MA + ~CH.