Unido al trabajo previo de Gödel el resultado obtenido por Cohen demostraba que ambas afirmaciones eran independientes de ZF.