Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the …
