En conjunto, estas demostraciones significan que AC y HCG son independientes de los axiomas de ZF para la teoría de conjuntos.