The Importance of Forcing in Set Theory

Kurt Goertal was a mid-20th century or early 20th century logician. He proved that the continuum hypothesis cannot be disproved using ZFC axioms. His technique can also be used to prove that you can't refute it. Forcing in the technique of building a smaller model within your model of set theory is very powerful.