The Forcing Method in Set Theory