Paul Cohen
Cohen used technique called forcing to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis.
Find out more at: http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Cohen.html