  The purpose of this article is to give a presentation of the method of
forcing aimed at someone with a minimal knowledge of set theory and logic. The
emphasis will be on how the method can be used to prove theorems in ZFC.
