Paul Joseph Cohen (2 de abril de 1934 – 23 de marzo de 20071 ) fue un matemático estadounidense. Cohen fue reconocido por inventar una técnica matemática llamada forcing y usarla para demostrar en 1963 que ni la hipótesis del continuo (HC) ni el axioma de elección (AC) pueden probarse a partir de los axiomas estándar en teoría de conjuntos, los axiomas de Zermelo-Fraenkel (ZF). Unido al trabajo previo de Gödel el resultado obtenido por Cohen demostraba que ambas afirmaciones eran independientes de ZF. Es decir, estos dos axiomas HC y AC no pueden ser ni probados ni refutados a partir de los axiomas ZF