保罗·寇恩 保罗约瑟夫寇恩英語Paul Joseph Cohen年月日年月日 美国数学家他证明策梅洛弗兰克尔公理系统加上选择公理 ZFC 不能反驳连续统假设 CH 的否命题而ZF不能反驳选择公理 AC 的否命题这一划时代的工作与哥德尔在年代的工作一起证明了CH和AC分别独立于ZFC和ZF寇恩在证明中创造了力迫法如今力迫法已经成为公理集合论的一项基本技术寇恩凭借连续统假设的独立性证明于年获得菲尔兹奖章