1960年代、コーエンはこれらがいずれもzfから証明できず、また連続体仮説がzfcから証明できないことを証明した。