Posteriormente Paul Cohen construyó un modelo de ZF en el cual AC y HCG son falsos.