Independence of CH: Forcing \(\mathrm {CH}\) and \(\lnot \mathrm {CH}\)

In the previous chapter, we proved the fundamental theorem of forcing. In this chapter, we will use the theorem to prove \(\mathrm {CH}\) independent of ZFC. We will conclude with alternative approaches to proving the independence of CH and a discussion of the cardinality of the continuum.