Así pues, no todos los axiomas de ZF son independientes.